Détail de l'auteur
Auteur Roderick BLOEM |
Documents disponibles écrits par cet auteur (1)
Faire une suggestion Affiner la recherche
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
IndexCaté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