Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Reliable Software Development: Analysis-Aware Design
3. Altmetric Badge
   Chapter 2 Transition Invariants and Transition Predicate Abstraction for Program Termination
4. Altmetric Badge
   Chapter 3 Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
5. Altmetric Badge
   Chapter 4 Compositionality Entails Sequentializability
6. Altmetric Badge
   Chapter 5 Tools and Algorithms for the Construction and Analysis of Systems
7. Altmetric Badge
   Chapter 6 Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
8. Altmetric Badge
   Chapter 7 Tools and Algorithms for the Construction and Analysis of Systems
9. Altmetric Badge
   Chapter 8 Enforcing Structural Invariants Using Dynamic Frames
10. Altmetric Badge
    Chapter 9 Loop Summarization and Termination Analysis
11. Altmetric Badge
    Chapter 10 Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
12. Altmetric Badge
    Chapter 11 Tools and Algorithms for the Construction and Analysis of Systems
13. Altmetric Badge
    Chapter 12 Efficient CTMC Model Checking of Linear Real-Time Objectives
14. Altmetric Badge
    Chapter 13 Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
15. Altmetric Badge
    Chapter 14 Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
16. Altmetric Badge
    Chapter 15 Specification-Based Program Repair Using SAT
17. Altmetric Badge
    Chapter 16 Optimal Base Encodings for Pseudo-Boolean Constraints
18. Altmetric Badge
    Chapter 17 Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
19. Altmetric Badge
    Chapter 18 Next Generation LearnLib
20. Altmetric Badge
    Chapter 19 Applying CEGAR to the Petri Net State Equation
21. Altmetric Badge
    Chapter 20 Biased Model Checking Using Flows
22. Altmetric Badge
    Chapter 21 S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
23. Altmetric Badge
    Chapter 22 GAVS+: An Open Platform for the Research of Algorithmic Game Solving
24. Altmetric Badge
    Chapter 23 Büchi Store: An Open Repository of Büchi Automata
25. Altmetric Badge
    Chapter 24 QUASY: Quantitative Synthesis Tool
26. Altmetric Badge
    Chapter 25 Unbeast: Symbolic Bounded Synthesis
27. Altmetric Badge
    Chapter 26 Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy
28. Altmetric Badge
    Chapter 27 The ACL2 Sedan Theorem Proving System
29. Altmetric Badge
    Chapter 28 Tools and Algorithms for the Construction and Analysis of Systems
30. Altmetric Badge
    Chapter 29 Confluence Reduction for Probabilistic Systems
31. Altmetric Badge
    Chapter 30 Model Repair for Probabilistic Systems
32. Altmetric Badge
    Chapter 31 Boosting Lazy Abstraction for SystemC with Partial Order Reduction
33. Altmetric Badge
    Chapter 32 Modelling and Verification of Web Services Business Activity Protocol
34. Altmetric Badge
    Chapter 33 CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
35. Altmetric Badge
    Chapter 34 GameTime: A Toolkit for Timing Analysis of Software