COEN6551 (Summer 2024) - Exam 2
Date: Tuesday, June 25, 2024
-
Time: 14:00-16:00
-
Place:FB-S143
Material allowed: Only Calculators (closed book!)
Topics:
- Temporal logic and model checking
- Predicate logic and theorem proving
- Verification case studies (e.g. pipelined processors, ATM switches)
Last Modified on