COEN6551 (Summer 2023) - Exam 2
Date: Monday, June 26, 2023
-
Time: 14: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