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
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
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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download
https://hal.inria.fr/hal-02398334
Contributor : Igor Konnov <>
Submitted on : Monday, December 9, 2019 - 3:21:57 PM
Last modification on : Tuesday, December 17, 2019 - 2:25:05 AM

File

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

Identifiers

Collections

UNIV-LORRAINE | INRIA | LORIA | LORIA-FM | CNRS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

18

Files downloads

105

 

 

Contact

archive-ouverte@inria.fr