Main Reading Material

The course will be based on the book Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, July 2007) by Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba and myself. The web page for the book at CUP is here. [Endorsements]
Updated errata for the book are available.

Further Reading Material


Luca Aceto, School of of Computer Science, Reykjavík University

Last modified: .