English
Handbook of Model Checking
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction to Model Checking
-
Altmetric BadgeChapter 2 Temporal Logic and Fair Discrete Systems
-
Altmetric BadgeChapter 3 Modeling for Verification
-
Altmetric BadgeChapter 4 Automata Theory and Model Checking
-
Altmetric BadgeChapter 5 Explicit-State Model Checking
-
Altmetric BadgeChapter 6 Partial-Order Reduction
-
Altmetric BadgeChapter 7 Binary Decision Diagrams
-
Altmetric BadgeChapter 8 BDD-Based Symbolic Model Checking
-
Altmetric BadgeChapter 9 Propositional SAT Solving
-
Altmetric BadgeChapter 10 SAT-Based Model Checking
-
Altmetric BadgeChapter 11 Satisfiability Modulo Theories
-
Altmetric BadgeChapter 12 Compositional Reasoning
-
Altmetric BadgeChapter 13 Abstraction and Abstraction Refinement
-
Altmetric BadgeChapter 14 Interpolation and Model Checking
-
Altmetric BadgeChapter 15 Predicate Abstraction for Program Verification
-
Altmetric BadgeChapter 16 Combining Model Checking and Data-Flow Analysis
-
Altmetric BadgeChapter 17 Model Checking Procedural Programs
-
Altmetric BadgeChapter 18 Model Checking Concurrent Programs
-
Altmetric BadgeChapter 19 Combining Model Checking and Testing
-
Altmetric BadgeChapter 20 Combining Model Checking and Deduction
-
Altmetric BadgeChapter 21 Model Checking Parameterized Systems
-
Altmetric BadgeChapter 22 Model Checking Security Protocols
-
Altmetric BadgeChapter 23 Transfer of Model Checking to Industrial Practice
-
Altmetric BadgeChapter 24 Functional Specification of Hardware via Temporal Logic
-
Altmetric BadgeChapter 25 Symbolic Trajectory Evaluation
-
Altmetric BadgeChapter 26 The mu-calculus and Model Checking
-
Altmetric BadgeChapter 27 Graph Games and Reactive Synthesis
-
Altmetric BadgeChapter 28 Model Checking Probabilistic Systems
-
Altmetric BadgeChapter 29 Model Checking Real-Time Systems
-
Altmetric BadgeChapter 30 Verification of Hybrid Systems
-
Altmetric BadgeChapter 31 Symbolic Model Checking in Non-Boolean Domains
-
Altmetric BadgeChapter 32 Process Algebra and Model Checking