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

Article Dans Une Revue Formal Aspects of Computing Année : 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

Fonction : Auteur
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

Résumé

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.

Domaines

Génie logiciel [cs.SE] Logique en informatique [cs.LO]

Fichier principal

review-igor.pdf (155.62 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Igor Konnov : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 9 décembre 2019-15:21:57

Dernière modification le : lundi 2 décembre 2024-17:46:02

Archivage à long terme le : mardi 10 mars 2020-14:00:08

Dates et versions

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

Identifiants

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

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

127 Consultations

1692 Téléchargements