Reactive Systems: Modelling, Specification and Verification
Authors of the Book
Course Material
Errata
Introduction
Lectures and Slides
Project Ideas
Recommendations
Solutions to Exercises
Supplementary Reading
Tools
Errata
Errata list
updated on September 9th, 2014.