Semantics & Verification, Spring 2006

Online Reading Material

Semantics & Verification, Spring 2006

Reading Material

System Verification by Joost-Pieter Katoen.
Reactive Systems: Modelling, Specification and Verification by Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen and Jiri Srba.
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.
Timed Automata: Semantics, Algorithms and Tools by Johan Bengtsson and Wang Yi Uppsala.
Model Checking Real-Time Logics by Joost-Pieter Katoen.
A Tutorial on Uppall 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 (from the beginning of February) at the bookshop in building B. We do recommend to buy it.

Errata

Errata for Reactive Systems: Modelling, Specification and Verification.

Language (non-technical) typos are not in the errata list but they are fixed in the updated version of the documents. Many thanks to Alex H. Johannesen, Claus Thrane, Robert J. Olesen, Morten Dahl, Ronni Thostrup, Simon Kongshoj, Thanh Huy Ly and Willard T. Rafnsson for sending us their comments and suggestions regarding the reading material!

Help us with Proof-Reading the Book

The material called Reactive Systems: Modelling, Specification and Verification is used for the second time in its current form and some parts are completely new. It is therefore likely to contain several errors and typos. Should you discover any problem (e.g. a missing index, inconsistent notation or a spelling error), check whether the problem is already mentioned in the errata and if not, send an email to srba@cs.aau.dk. Do not forget, please, to write the page and line number (e.g. page 12, line 6) and describe briefly the error. I will then place the error description to the errata list. For your honour, your name will be put into the errata list. Please, help us to improve the quality of the book. We will highly appreciate any comments you might have!