Online Reading Material
Semantics & Verification, Spring 2007
Reading Material
Additional material
Errata
The errata list for the main textbook
Reactive Systems: Modelling, Specification and Verification is available from
www.cs.aau.dk/rsbook
and is being
regularly updated. Should you discover any typos and/or other problems
regarding the material, we would be most gratefull if you could notify
us on the email rsbook@cs.aau.dk. Please, include a page number and
line for quicker localization. Thanks!