default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHandbook of Model Checking 2018
- Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
:
Handbook of Model Checking. Springer 2018, ISBN 978-3-319-10574-1 - Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith:
Introduction to Model Checking. 1-26 - Nir Piterman, Amir Pnueli:
Temporal Logic and Fair Discrete Systems. 27-73 - Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. 75-105 - Orna Kupferman:
Automata Theory and Model Checking. 107-151 - Gerard J. Holzmann:
Explicit-State Model Checking. 153-171 - Doron Peled:
Partial-Order Reduction. 173-190 - Randal E. Bryant:
Binary Decision Diagrams. 191-217 - Sagar Chaki, Arie Gurfinkel:
BDD-Based Symbolic Model Checking. 219-245 - João Marques-Silva, Sharad Malik:
Propositional SAT Solving. 247-275 - Armin Biere, Daniel Kröning:
SAT-Based Model Checking. 277-303 - Clark W. Barrett, Cesare Tinelli:
Satisfiability Modulo Theories. 305-343 - Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu:
Compositional Reasoning. 345-383 - Dennis Dams, Orna Grumberg:
Abstraction and Abstraction Refinement. 385-419 - Kenneth L. McMillan:
Interpolation and Model Checking. 421-446 - Ranjit Jhala, Andreas Podelski, Andrey Rybalchenko:
Predicate Abstraction for Program Verification. 447-491 - Dirk Beyer, Sumit Gulwani, David A. Schmidt:
Combining Model Checking and Data-Flow Analysis. 493-540 - Rajeev Alur, Ahmed Bouajjani, Javier Esparza:
Model Checking Procedural Programs. 541-572 - Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili:
Model Checking Concurrent Programs. 573-611 - Patrice Godefroid, Koushik Sen:
Combining Model Checking and Testing. 613-649 - Natarajan Shankar:
Combining Model Checking and Deduction. 651-684 - Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur:
Model Checking Parameterized Systems. 685-725 - David A. Basin, Cas Cremers, Catherine Meadows:
Model Checking Security Protocols. 727-762 - Robert P. Kurshan:
Transfer of Model Checking to Industrial Practice. 763-793 - Cindy Eisner, Dana Fisman:
Functional Specification of Hardware via Temporal Logic. 795-829 - Tom Melham:
Symbolic Trajectory Evaluation. 831-870 - Julian C. Bradfield, Igor Walukiewicz:
The mu-calculus and Model Checking. 871-919 - Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann:
Graph Games and Reactive Synthesis. 921-962 - Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska:
Model Checking Probabilistic Systems. 963-999 - Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell:
Model Checking Real-Time Systems. 1001-1046 - Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer:
Verification of Hybrid Systems. 1047-1110 - Rupak Majumdar, Jean-François Raskin:
Symbolic Model Checking in Non-Boolean Domains. 1111-1147 - Rance Cleaveland, A. W. Roscoe, Scott A. Smolka:
Process Algebra and Model Checking. 1149-1195
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
