Errata "Principles of Model Checking" (2008)
Thanks to the Model Checking Reading Club at the Radboud University of Nijmegen,
The Netherlands (in particular David N. Jansen and Frits W. Vaandrager), Holger Her-
manns (Saarland University), Dave Parker (Oxford University, UK), Ren´e Thiemann (U.
Innsbruck, Austria), Ahmed Khademzadeh (Azad University of Mashhad, Iran), Moti Ben-
Ari (Weizmann Institute, Israel), Erika Abr´ah'am, Alexander Nyßen and Daniel Weber
(RWTH Aachen University) and the students at the RWTH Aachen University attending
the "(Advanced) Model Checking" lecture.
Comments are provided as:
page number line number short quote of the wrong word(s) correction
Chapter 1: System Verification
pp. 1, l. -5, Pentium II Pentium
pp. 5, l. 9, lines of code lines lines of code
pp. 5, l. footnote, much higher as the number of lines of code in the "golden" version
of Windows95 is about 15 million, the error rate is in fact lower than normal.
pp. 6, l. 4, Pentium II Pentium
Chapter 2: Modeling Concurrent Systems
pp. 25, l. 11, heading Example 2.8 Execution fragments of the Beverage Vending Ma-