Computer Aided Verification

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Safety Verification of Deep Neural Networks
3. Altmetric Badge
   Chapter 2 Program Verification Under Weak Memory Consistency Using Separation Logic
4. Altmetric Badge
   Chapter 3 The Power of Symbolic Automata and Transducers
5. Altmetric Badge
   Chapter 4 Maximum Satisfiability in Software Analysis: Applications and Techniques
6. Altmetric Badge
   Chapter 5 Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
7. Altmetric Badge
   Chapter 6 Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
8. Altmetric Badge
   Chapter 7 Markov Automata with Multiple Objectives
9. Altmetric Badge
   Chapter 8 Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
10. Altmetric Badge
    Chapter 9 Repairing Decision-Making Programs Under Uncertainty
11. Altmetric Badge
    Chapter 10 Value Iteration for Long-Run Average Reward in Markov Decision Processes
12. Altmetric Badge
    Chapter 11 STLInspector: STL Validation with Guarantees
13. Altmetric Badge
    Chapter 12 Learning a Static Analyzer from Data
14. Altmetric Badge
    Chapter 13 Synthesis with Abstract Examples
15. Altmetric Badge
    Chapter 14 Data-Driven Synthesis of Full Probabilistic Programs
16. Altmetric Badge
    Chapter 15 Logical Clustering and Learning for Time-Series Data
17. Altmetric Badge
    Chapter 16 Montre: A Tool for Monitoring Timed Regular Expressions
18. Altmetric Badge
    Chapter 17 Runtime Monitoring with Recovery of the SENT Communication Protocol
19. Altmetric Badge
    Chapter 18 Runtime Verification of Temporal Properties over Out-of-Order Data Streams
20. Altmetric Badge
    Chapter 19 Lagrangian Reachabililty
21. Altmetric Badge
    Chapter 20 Simulation-Equivalent Reachability of Large Linear Systems with Inputs
22. Altmetric Badge
    Chapter 21 MightyL: A Compositional Translation from MITL to Timed Automata
23. Altmetric Badge
    Chapter 22 DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
24. Altmetric Badge
    Chapter 23 Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
25. Altmetric Badge
    Chapter 24 Classification and Coverage-Based Falsification for Embedded Control Systems
26. Altmetric Badge
    Chapter 25 GPUDrano: Detecting Uncoalesced Accesses in GPU Programs
27. Altmetric Badge
    Chapter 26 Context-Sensitive Dynamic Partial Order Reduction
28. Altmetric Badge
    Chapter 27 Starling: Lightweight Concurrency Verification with Views
29. Altmetric Badge
    Chapter 28 Compositional Model Checking with Incremental Counter-Example Construction
30. Altmetric Badge
    Chapter 29 Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems