CENG510 COMPUTER AIDED FORMAL VERIFICATION
| Course Code: | 5710510 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 8.0 |
| Department: | Computer Engineering |
| Language of Instruction: | English |
| Level of Study: | Graduate |
| Course Coordinator: | |
| Offered Semester: | Fall Semesters. |
Course Objectives
Course Content
Modeling systems, linear time properties, linear temporal logic, computational tree logic, model checking, abstraction techniques, state-space explosion problem, model-checking tools.