IS707 FORMAL VERIFICATION-THEORY AND PRACTICE
| Course Code: |
9010707 |
| METU Credit (Theoretical-Laboratory hours/week): |
3(3-0) |
| ECTS Credit: |
8.0 |
| 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.
