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