|
Sep 29, 2024
|
|
|
|
CAS 725 / Formal Methods of Real-Time Systems 3 unit(s)
M. Lawford
Introduction to formal methods including equivalence verification, model-checking and theorem proving. Emphasis on verification of safety-critical real-time control systems using automated theorem provers and simple programming techniques.
Add to Favourites (opens a new window)
|
|