Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Errata "Principles of Model Checking" (July 2010) Thanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The
 

Summary: 1
Errata "Principles of Model Checking" (July 2010)
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 Hermanns
(Saarland University), Dave Parker (Oxford University, UK), Stephen Siegel (University
of Delaware, USA), Ren´e Thiemann (U. Innsbruck, Austria), Martin Lange (LMU, Ger-
many), Ahmed Khademzadeh (Azad University of Mashhad, Iran), Moti Ben-Ari (Weiz-
mann Institute, Israel), Verena Wolf (Saarland University), Erika Abr´ah´am, Alexander
Nyßen and Daniel Weber (RWTH Aachen University), Michael Ummels (ENS Cachan,
France) 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

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences