Formal Aspects of Computing

, Volume 31, Issue 4, pp 455–456 | Cite as

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking

Springer International Publishing AG, Cham, Switzerland, 2018, xxiv+1210 pp, ISBN 978-3-319-10574-1 (Hardcover, 2.13 kg), ISBN 978-3-319-10575-8 (eBook, PDF).
  • Igor KonnovEmail author
Book Review



  1. BHvMW09.
    Biere A, Heule M, van Maaren H, Walsh T (eds) (2009) Handbook of satisfiability, volume 185 of Frontiers in artificial intelligence and applications. IOS Press, AmsterdamGoogle Scholar
  2. BJK+15.
    Bloem R, Jacobs S, Khalimov A, Konnov I, Rubin S, Veith H, Widder J (2015) Decidability of parameterized verification. Synthesis Lectures on distributed computing theory. Morgan & Claypool Publishers, San RafaelGoogle Scholar
  3. BK08.
    Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, CambridgezbMATHGoogle Scholar
  4. CGP01.
    Clarke EM, Grumberg O, Peled DA (2001) Model checking. MIT Press, CambridgeCrossRefzbMATHGoogle Scholar
  5. CJGK+18.
    Clarke EM Jr, Grumberg O, Kroening D, Peled D, Veith H (2018) Model checking, 2nd edn. MIT Press, CambridgezbMATHGoogle Scholar
  6. KS16.
    KroeningD, Strichman O (2016) Decision procedures—an algorithmic point of view, 2nd edn. Texts in Theoretical Computer Science. An EATCS Series. Springer, BerlinGoogle Scholar

Copyright information

© British Computer Society 2019

Authors and Affiliations

  1. 1.INRIA Nancy—Grand EstNancyFrance

Personalised recommendations