Tools and Algorithms for the Construction and Analysis of Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning
3. Altmetric Badge
   Chapter 2 Efficient Verification of Imperative Programs Using Auto2
4. Altmetric Badge
   Chapter 3 Frame Inference for Inductive Entailment Proofs in Separation Logic
5. Altmetric Badge
   Chapter 4 Verified Model Checking of Timed Automata
6. Altmetric Badge
   Chapter 5 Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
7. Altmetric Badge
   Chapter 6 CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
8. Altmetric Badge
   Chapter 7 Automatic Generation of Precise and Useful Commutativity Conditions
9. Altmetric Badge
   Chapter 8 Bit-Vector Model Counting Using Statistical Estimation
10. Altmetric Badge
    Chapter 9 Hoare Logics for Time Bounds
11. Altmetric Badge
    Chapter 10 A Verified Implementation of the Bounded List Container
12. Altmetric Badge
    Chapter 11 Automating Deductive Verification for Weak-Memory Programs
13. Altmetric Badge
    Chapter 12 Property Checking Array Programs Using Loop Shrinking
14. Altmetric Badge
    Chapter 13 Invariant Synthesis for Incomplete Verification Engines
15. Altmetric Badge
    Chapter 14 Accelerating Syntax-Guided Invariant Synthesis
16. Altmetric Badge
    Chapter 15 Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)
17. Altmetric Badge
    Chapter 16 Oink: An Implementation and Evaluation of Modern Parity Game Solvers
18. Altmetric Badge
    Chapter 17 More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( $$D^{3}$$ D 3 )
19. Altmetric Badge
    Chapter 18 Generation of Minimum Tree-Like Witnesses for Existential CTL
20. Altmetric Badge
    Chapter 19 From Natural Projection to Partial Model Checking and Back
21. Altmetric Badge
    Chapter 20 ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
22. Altmetric Badge
    Chapter 21 Strategy Representation by Decision Trees in Reactive Synthesis
23. Altmetric Badge
    Chapter 22 Feature-Guided Black-Box Safety Testing of Deep Neural Networks