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

doi:10.1007/s00165-019-00486-z

Journal Articles Formal Aspects of Computing Year : 2019

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.

(1, 2)

1
2

Igor Konnov

Function : Author
PersonId : 21149
IdHAL : igor-konnov
ORCID : 0000-0001-6629-3377
IdRef : 119235463

Modeling and Verification of Distributed Algorithms and Systems

Proof-oriented development of computer-based systems

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.

Domains

Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Logic in Computer Science [cs.LO]

Fichier principal

review-igor.pdf (155.62 Ko)

Origin : Files produced by the author(s)

Igor Konnov : Connect in order to contact the contributor

https://hal.inria.fr/hal-02398334

Submitted on : Monday, December 9, 2019-3:21:57 PM

Last modification on : Tuesday, February 7, 2023-2:45:06 PM

Long-term archiving on: Tuesday, March 10, 2020-2:00:08 PM

Dates and versions

hal-02398334 , version 1 (09-12-2019)

Identifiers

HAL Id : hal-02398334 , version 1
DOI : 10.1007/s00165-019-00486-z

Cite

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, 2019, pp.455-456. ⟨10.1007/s00165-019-00486-z⟩. ⟨hal-02398334⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

79 View

1167 Download