Automated Technology for Verification and Analysis

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking
3. Altmetric Badge
   Chapter 2 Precise Null Pointer Analysis Through Global Value Numbering
4. Altmetric Badge
   Chapter 3 May-Happen-in-Parallel Analysis with Returned Futures
5. Altmetric Badge
   Chapter 4 JTDec: A Tool for Tree Decompositions in Soot
6. Altmetric Badge
   Chapter 5 Fixing the State Budget: Approximation of Regular Languages with Small DFAs
7. Altmetric Badge
   Chapter 6 An Equivalence Checking Framework for Array-Intensive Programs
8. Altmetric Badge
   Chapter 7 Loop Quasi-Invariant Chunk Detection
9. Altmetric Badge
   Chapter 8 SamaTulyata: An Efficient Path Based Equivalence Checking Tool
10. Altmetric Badge
    Chapter 9 Tests and Refutation
11. Altmetric Badge
    Chapter 10 The Density of Linear-Time Properties
12. Altmetric Badge
    Chapter 11 HyLeak: Hybrid Analysis Tool for Information Leakage
13. Altmetric Badge
    Chapter 12 Compositional Safety Refutation Techniques
14. Altmetric Badge
    Chapter 13 Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units
15. Altmetric Badge
    Chapter 14 Model Checking of C and C++ with DIVINE 4
16. Altmetric Badge
    Chapter 15 Dealing with Priorities and Locks for Concurrent Programs
17. Altmetric Badge
    Chapter 16 Knowledge Transfer and Information Leakage in Protocols
18. Altmetric Badge
    Chapter 17 Concurrent Program Verification with Invariant-Guided Underapproximation
19. Altmetric Badge
    Chapter 18 Maximum Resilience of Artificial Neural Networks
20. Altmetric Badge
    Chapter 19 Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
21. Altmetric Badge
    Chapter 20 Liquid Types for Array Invariant Synthesis
22. Altmetric Badge
    Chapter 21 Lifting CDCL to Template-Based Abstract Domains for Program Verification
23. Altmetric Badge
    Chapter 22 Synthesizing Invariants by Solving Solvable Loops
24. Altmetric Badge
    Chapter 23 Exploiting Partial Knowledge for Efficient Model Analysis
25. Altmetric Badge
    Chapter 24 A Language-Theoretic View on Network Protocols
26. Altmetric Badge
    Chapter 25 Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes
27. Altmetric Badge
    Chapter 26 Finding Polynomial Loop Invariants for Probabilistic Programs
28. Altmetric Badge
    Chapter 27 Synthesis of Optimal Resilient Control Strategies
29. Altmetric Badge
    Chapter 28 ForFET: A Formal Feature Evaluation Tool for Hybrid Systems
30. Altmetric Badge
    Chapter 29 Attacking the V: On the Resiliency of Adaptive-Horizon MPC
31. Altmetric Badge
    Chapter 30 The Reach-Avoid Problem for Constant-Rate Multi-mode Systems