%0 Journal Article %T 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. %+ Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) %+ Proof-oriented development of computer-based systems (MOSEL) %A Konnov, Igor %< avec comité de lecture %@ 0934-5043 %J Formal Aspects of Computing %I Springer Verlag %P 455-456 %8 2019 %D 2019 %R 10.1007/s00165-019-00486-z %Z Computer Science [cs]/Software Engineering [cs.SE] %Z Computer Science [cs]/Logic in Computer Science [cs.LO]Journal articles %X 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. %G English %2 https://inria.hal.science/hal-02398334/document %2 https://inria.hal.science/hal-02398334/file/review-igor.pdf %L hal-02398334 %U https://inria.hal.science/hal-02398334 %~ CNRS %~ INRIA %~ INRIA_TEST %~ INRIA-LORRAINE %~ LORIA2 %~ INRIA-NANCY-GRAND-EST %~ TESTALAIN1 %~ UNIV-LORRAINE %~ INRIA2 %~ LORIA %~ LORIA-FM %~ INRIAARTDOI %~ INRIA-ALLEMAGNE