Handbook of Model Checking / Edmund M. CLARKE

Titre : Handbook of Model Checking Type de document : texte imprimé Auteurs : Edmund M. CLARKE, Directeur de publication ; Thomas A. HENZINGER, Directeur de publication ; Helmut VEITH, Directeur de publication ; Roderick BLOEM, Directeur de publication Editeur : Springer Nature Switzerland Année de publication : 2018 Importance : 1210 p. ISBN/ISSN/EAN : 978-3-319-10574-1 Note générale : Foreword Preface Acknowledgements Contributors Contents Index Catégories : Logiciels:Vérification Vérification de modèles (informatique) Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Introduction to Model Checking Temporal Logic and Fair Discrete Systems Modeling for Verification Automata Theory and Model Checking Explicit-State Model Checking Partial-Order Reduction Binary Decision Diagrams BDD-Based Symbolic Model Checking Propositional SAT Solving SAT-Based Model Checking Satisfiability Modulo Theories Compositional Reasonning Abstraction and Abstraction Refinement Interpolation and Model Checking Predicate Abstraction for Program Verification Combining Model Checking and Data-Flow Analysis Model Checking Procedural Programs Model Checking Concurrent Programs Combining Model Checking and Testing Combining Model Checking and Deduction Model Checking Parameterized Systems Model Checking Security Protocols Transfer of Model Checking to Industrial Practice Functionnal Specification of Hardware via Temporal Logic Symbolic Trajectory Evaluation The mu-Calculus and Model Checking Graph Games and Reactive Synthesis Model Checking Probabilistic Systems Model Checking Real-Time Systems Verification of Hybrid Systems Symbolic Model Checking in Non-Boolean Domains Process Algebra and Model Checking

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014650	004.2 CLA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200