CS 256: Formal Methods for Concurrent and Reactive Systems


General

CS 256 covers the specification and verification of reactive systems, that is, systems that maintain an ongoing interaction with their environment.

Instructor

Teaching Assistant

Useful Links

The class page


[Stanford] [CS Dept.] [Mark Pichora]
Questions? Send them to:
mpichora@cs.stanford.edu