Formal Spec & Verf of Systems
Durham
Engineering&Physical Sciences :: Computer Science
Credits: 4.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:
20
CRN: 12643
CRN: 12643
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). Prereq: CS 520 and CS 659.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Only listed colleges in section: Engineering&Physical Sciences
Instructors: Michel Charpentier
Times & Locations
| Start Date | End Date | Days | Time | Location |
|---|---|---|---|---|
| 8/29/2022 | 12/12/2022 | TR | 9:40am - 11:00am | KING N113 |