Book Review Committee


The aim of the Book Review Committee (BRC), instituted by Formal Methods Europe, is to provide to the formal methods community, and to the scientific community in general, high-quality reviews of books on topics of interest to the community.

Each review highlights the strengths and weaknesses of the book, both from the technical and the presentation point of view, to help researchers who are looking for reference texts in their areas of interest.

Reviews are selected by the BRC for publication on this website, which you can find under the book reviews category. Some reviews may also be referred to the editorial board of the Formal Aspects of Computing journal for possible possible publication in the journal (dependent on the positive opinion of the board). It is normally expected that a review’s author is named.

Whereas the BRC mostly selects the books to be reviewed, suggestions for possible books to be reviewed are welcome. Reviews are typically solicited by BRC members.

Selected Reviews

The full list of reviews can be found in the book reviews category.

  • Rajeev Alur: Principles of Cyber-Physical Systems [link]
  • Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan: Functional Algorithms, Verified! [link]
  • Daniel Kroening and Ofer Strichman: Decision Procedures – An Algorithmic Point of View [link]
  • Flemming Nielson and Hanne Riis Nielson: Formal Methods: an appetizer [link]
  • Rosario Giustolisi: Modelling and Verification of Secure Exams [link]
  • André Platzer: Logical Analysis of Hybrid Systems [link]
  • Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni- Vincentelli, Werner Damm, Thomas A. Henzinger and Kim G. Larsen: Contracts for System Design [link]
  • Jan Friso Groote and Mohammad Reza Mousavi: Modeling and Analysis of Communicating Systems [link]
  • Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL [link]



The Book Review Committee can be reached at the email address