Academic Catalog

IS707 FORMAL VERIFICATION-THEORY AND PRACTICE

Course Code: 9010707
METU Credit (Theoretical-Laboratory hours/week): 3(3-0)
ECTS Credit: 8.0
Department: Information Systems
Language of Instruction: English
Level of Study: Masters
Course Coordinator:
Offered Semester: Fall or Spring Semesters.

Course Content

This course aims to introduce students to a crucial part of the design cycle: mathematically proving that the design satisfies desirable or required properties, referred to as formal verification. An introductory treatment of theoretical framework is accompanied with state of the art verification tools.