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.