Formal Spec & Verf of Systems
Durham
Engineering&Physical Sciences::Computer Science
Credits: 4.0
Class Size: 20
Term:
Fall 2024
-
Full Term (08/26/2024
-
12/09/2024)
CRN:
16259
Grade Mode:
Letter Grading
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).
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Cross Listed With :
CS 845 (01)
Prerequisite(s): CS 520 and CS 659
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 |
| Final Exam12/11/2024 | 12/11/2024 | W | 10:30am - 12:30pm | KING N133 |
