“Formal methods is a term used to describe the specification and verification of software systems and software using mathematical logic. There are many books that look at particular methodologies for such systems, for example, this book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. This book emerged from a variety of courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.”

Welcome to the homepage for the book “Reactive Systems: Modelling, Specification and Verification”. The book has been used for courses on modelling and verification of reactive systems at several universities (here is a list of some of them).

If you are using the book for one of your courses, please send us an email with the name of the course, its level and a URL pointing to the web-page for the course. We would like to keep track of our “user group”. Thank you.

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba