Verification, Model Checking, and Abstract Interpretation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
3. Altmetric Badge
   Chapter 2 Scalable Analysis of Linear Systems Using Mathematical Programming
4. Altmetric Badge
   Chapter 3 The Arithmetic-Geometric Progression Abstract Domain
5. Altmetric Badge
   Chapter 4 An Overview of Semantics for the Validation of Numerical Programs
6. Altmetric Badge
   Chapter 5 The Verifying Compiler, a Grand Challenge for Computing Research
7. Altmetric Badge
   Chapter 6 Checking Herbrand Equalities and Beyond
8. Altmetric Badge
   Chapter 7 Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
9. Altmetric Badge
   Chapter 8 Termination of Polynomial Programs
10. Altmetric Badge
    Chapter 9 Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement
11. Altmetric Badge
    Chapter 10 Abstraction for Liveness
12. Altmetric Badge
    Chapter 11 Verification, Model Checking, and Abstract Interpretation
13. Altmetric Badge
    Chapter 12 Shape Analysis by Predicate Abstraction
14. Altmetric Badge
    Chapter 13 Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
15. Altmetric Badge
    Chapter 14 Purity and Side Effect Analysis for Java Programs
16. Altmetric Badge
    Chapter 15 Automata as Abstractions
17. Altmetric Badge
    Chapter 16 Don’t Know in the μ -Calculus
18. Altmetric Badge
    Chapter 17 Model Checking of Systems Employing Commutative Functions
19. Altmetric Badge
    Chapter 18 Weak Automata for the Linear Time μ -Calculus
20. Altmetric Badge
    Chapter 19 Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties
21. Altmetric Badge
    Chapter 20 Minimizing Counterexample with Unit Core Extraction and Incremental SAT
22. Altmetric Badge
    Chapter 21 I/O Efficient Directed Model Checking
23. Altmetric Badge
    Chapter 22 Verification of an Error Correcting Code by Abstract Interpretation
24. Altmetric Badge
    Chapter 23 Information Flow Analysis for Java Bytecode
25. Altmetric Badge
    Chapter 24 Cryptographic Protocol Analysis on Real C Code
26. Altmetric Badge
    Chapter 25 Simple Is Better: Efficient Bounded Model Checking for Past LTL
27. Altmetric Badge
    Chapter 26 Optimizing Bounded Model Checking for Linear Hybrid Systems
28. Altmetric Badge
    Chapter 27 Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives
29. Altmetric Badge
    Chapter 28 Generalized Typestate Checking for Data Structure Consistency
30. Altmetric Badge
    Chapter 29 On the Complexity of Error Explanation
31. Altmetric Badge
    Chapter 30 Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs