Academic Catalog

CENG794 COMPUTER AIDED FORMAL VERIFICATION

Course Code: 5710794
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, recent topics in formal methods.