Skip to main content
SpringerLink
Log in

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). https://doi.org/10.1007/978-3-319-10575-8

  • Book Review
  • Published:
Formal Aspects of Computing

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. 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, Amsterdam

  2. 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 Rafael

  3. Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge

    MATH  Google Scholar 

  4. Clarke EM, Grumberg O, Peled DA (2001) Model checking. MIT Press, Cambridge

    Book  MATH  Google Scholar 

  5. Clarke EM Jr, Grumberg O, Kroening D, Peled D, Veith H (2018) Model checking, 2nd edn. MIT Press, Cambridge

    MATH  Google Scholar 

  6. KroeningD, Strichman O (2016) Decision procedures—an algorithmic point of view, 2nd edn. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin

Download references

Author information

Authors and Affiliations

  1. INRIA Nancy—Grand Est, 54000, Nancy, France

    Igor Konnov

Authors
  1. Igor Konnov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Igor Konnov.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Konnov, I. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking . Form Asp Comp 31, 455–456 (2019). https://doi.org/10.1007/s00165-019-00486-z

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00165-019-00486-z

Search

Navigation