Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Thanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The Netherlandsw (in particular David N. Jansen and Frits W. Vaandrager), Dave Parker
 

Summary: 1
Errata
Thanks to the Model Checking Reading Club at the Radboud University of Nijmegen,
The Netherlandsw (in particular David N. Jansen and Frits W. Vaandrager), Dave Parker
(Oxford University, UK), Ren´e Thiemann (U. Innsbruck, Austria), Ahmed Khademzadeh
(Azad University of Mashhad, Iran), Alexander Nyßen and Daniel Weber (RWTH Aachen
University) and the students at RWTH Aachen University attending the "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-
chine
pp. 27, l. -15, function y The function y has no impact on the transitions (as sug-

  

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

 

Collections: Computer Technologies and Information Sciences