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
- Henny Sipma
- Office: Gates 460
- Phone: 723-1809
- Office Hours: Thursdays 10-12a or by appt.
Teaching Assistant
- Nikolaj Bjorner
- Office: Gates 460
- Phone: 723-1809
- Office Hours: Monday and Thursday 5-6p Gates 193C
Useful Links
The
class page
![[Stanford]](http://www-cs.stanford.edu/gifs/stanford.seal56.gif)
![[CS Dept.]](http://www-cs.stanford.edu/gifs/logo.csd.gif)
![[Mark Pichora]](http://www-cs.stanford.edu/gifs/arrow.marble56.up2.gif)
Questions? Send them to:
mpichora@cs.stanford.edu