Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/A: Appendix: Preliminaries

These pages contain remarks and comments – many typos and errata, some proposals for change – that we have found during reading the book:

Principles of model checking / Christel Baier; Joost-Pieter Katoen. – Cambridge, Mass.: MIT Press, 2008.

ISBN 978-0-262-02649-9.

For more details, see the table of contents.

Appendix A: Appendix: Preliminaries

• 909, title, Appendix: Preliminaries ] read: Preliminaries

• 910, figure A.1 ] The Greek alphabet does feature a full set of capitals. A, B, E, Z, H (=Eta), I, K, M, N, O, P (=Rho), T, X (=Chi) are missing. Please choose a single variant of each letter (I propose to use \varepsilon, \theta, \pi, \rho, \sigma, \varphi. Note that Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \varsigma} is not a typographical variant, but the word-final form of sigma.) David Jansen

• 916, –11sq., Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \vee} and Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \to} are treated as a basic operator ] read: ... as basic operators

• 924, –18, Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Theta(N+M)} where Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle N=|V|} and Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle M=|E|} ] It would be simpler to write Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Theta(|V| + |E|)} .

• 924, –7, Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle v_1 v_2 \ldots v_n} ] To stress that every vertex is visited, you may replace Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle n} by Parsen mislukt (MathML met SVG- of PNG-terugval (aanbevolen voor moderne browsers en toegankelijkheidshulpmiddelen): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle |V|} .

• 925, –5, ”yes” ] read LaTeX code: ``yes''

• 942, ref. [136], Springer ] In most references, you print “Springer-Verlag”. Please be consistent. (It is enough to print “Springer”, as the “Verlag” does not really add information. In reference [207], you also only print “North Holland”.)

• 953, ref. [275], Ack-ermann ] incorrect hyphenation. LaTeX code: A\-cker\-mann.

• Index, keyword realizable ] Please add a reference to Definition 3.54 on page 139.