CS 745 (01) - Formal Specifications and Verification of Software Systems

Formal Spec & Verf of Systems

Durham   Engineering&Physical Sciences :: Computer Science
Credits: 4.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   20  
CRN: 16259
Course focuses on the formal specification and verification of reactive systems, most notably concurrent and distributed systems. Topics relevant to these systems, such as non-determinism, safety and liveness properties, asynchronous communication or compositional reasoning, as discussed. We rely on a notation (TLA+, the Temporal Logic of Actions) and a support tool (TLC, the TLA+ Model Checker).
Prerequisite(s): CS 520 and CS 659
Cross listed with : CS 845.01
Instructors: Michel Charpentier

Times & Locations

Start Date End Date Days Time Location
8/26/2024 12/9/2024 TR 9:40am - 11:00am KING N133