| ชื่อเรื่อง | : | Formal approach to program verification |
| นักวิจัย | : | Chatchai Koetsawat |
| คำค้น | : | Computer programs--Verification , Computer software--Verification |
| หน่วยงาน | : | จุฬาลงกรณ์มหาวิทยาลัย |
| ผู้ร่วมงาน | : | Peraphon Sophatsathit , Chulalongkorn University. Faculty of Science |
| ปีพิมพ์ | : | 2544 |
| อ้างอิง | : | 9741702795 , http://cuir.car.chula.ac.th/handle/123456789/2844 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Thesis (M.Sc.)--Chulalongkorn University, 2001 Program verification has played an important role in today's production of reliable software [3]. The most popular method of verification is given by Hoare. Other mathematicians and programmers also offered their method based on Hoare's principles. This thesis proposes a different approach to program verification using Hoare notation. In this thesis, we introduced a new method based on Hoare triple and some inference rules as a tool for program correctness proof. The proposed approach adopted conventional black-box and white-box tests [6] to carried out a systematic and rigorous program verification. |
| บรรณานุกรม | : |
Chatchai Koetsawat . (2544). Formal approach to program verification.
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. Chatchai Koetsawat . 2544. "Formal approach to program verification".
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. Chatchai Koetsawat . "Formal approach to program verification."
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย, 2544. Print. Chatchai Koetsawat . Formal approach to program verification. กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย; 2544.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
