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.