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; some might 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.


  • 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