Academic Catalog

CENG510 COMPUTER AIDED FORMAL VERIFICATION

Course Code:	5710510
METU Credit (Theoretical-Laboratory hours/week):	3(3-0)
ECTS Credit:	8.0
Department:	Computer Engineering
Language of Instruction:	English
Level of Study:	Graduate
Course Coordinator:
Offered Semester:	Fall Semesters.

Course Content

Modeling systems, linear time properties, linear temporal logic, computational tree logic, model checking, abstraction techniques, state-space explosion problem, model-checking tools.