Skip to Main content Skip to Navigation
Journal articles

Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018.

Igor Konnov 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
2 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
Abstract : This is a review of the Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018.
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-02398334
Contributor : Igor Konnov Connect in order to contact the contributor
Submitted on : Monday, December 9, 2019 - 3:21:57 PM
Last modification on : Thursday, January 20, 2022 - 5:26:13 PM
Long-term archiving on: : Tuesday, March 10, 2020 - 2:00:08 PM

File

review-igor.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Igor Konnov. Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018.. Formal Aspects of Computing, Springer Verlag, 2019, pp.455-456. ⟨10.1007/s00165-019-00486-z⟩. ⟨hal-02398334⟩

Share

Metrics

Les métriques sont temporairement indisponibles