คำอธิบาย
ระเบียบวิธีในการกำหนดข้อกำหนดซอฟต์แวร์อย่างเป็นทางการ การพัฒนา และการพิสูจน์ความถูกต้อง การใช้การพิสูจน์ทฤษฎี การอนุมานอัตโนมัติ และวิธีการทางการอย่างเป็นทางการอื่นๆ เพื่อความถูกต้องของซอฟต์แวร์ การประยุกต์ใช้ในการพิสูจน์โปรแกรมและการคำนวณที่ปลอดภัย
ข้อความอ้างอิงในภาษาต้นฉบับ
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
แหล่งที่มาและอ้างอิง
วันที่และแหล่งที่มาถูกเก็บไว้เพื่อช่วยให้คุณตรวจสอบข้อมูล การแปลเสนอเพื่ออำนวยความสะดวกในการอ่าน แหล่งทางการเป็นที่อ้างอิงสำหรับเงื่อนไขและข้อกำหนด
แหล่งอ้างอิง : https://calendar.carleton.ca/grad/courses/COMP/