Semantics & Verification, Spring 2007

Online Reading Material

Semantics & Verification, Spring 2007

Reading Material

Reactive Systems: Modelling, Specification and Verification by Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen and Jiri Srba. (Main reading textbook.)

Additional material

A short introduction to the Concurrency Workbench (English) by Hans Huttel.
En kort introduktion til Concurrency Workbench (Dansk) by Hans Huttel.
The Edinburgh Concurrency Workbench (Version 7.1) by Faron Moller, updated by Perdita Stevens.
A Tutorial on Uppaal by Gerd Behrmann, Alexandre David and Kim G. Larsen.
An Introduction to Binary Decision Diagrams by Henrik Reif Andersen.
BDD slides by Kim G. Larsen
Formal Methods: State of the Art and Future Directions by Edmund M. Clarke and Jeannette M. Wing.

The above reading material has been collected in a compendium. It can be bought at the bookshop in building B. We do recommend to buy it.

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!