Computer Aided Verification

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
3. Altmetric Badge
   Chapter 2 Sampling-Based Verification of CTMCs with Uncertain Rates
4. Altmetric Badge
   Chapter 3 Playing Against Fair Adversaries in Stochastic Games with Total Rewards
5. Altmetric Badge
   Chapter 4 Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
6. Altmetric Badge
   Chapter 5 Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
7. Altmetric Badge
   Chapter 6 FORQ-Based Language Inclusion Formal Testing
8. Altmetric Badge
   Chapter 7 Sound Automation of Magic Wands
9. Altmetric Badge
   Chapter 10 Complementing Büchi Automata with Ranker
10. Altmetric Badge
    Chapter 11 Even Faster Conflicts and Lazier Reductions for String Solvers
11. Altmetric Badge
    Chapter 13 Reasoning About Data Trees Using CHCs
12. Altmetric Badge
    Chapter 14 Verified Erasure Correction in Coq with MathComp and VST
13. Altmetric Badge
    Chapter 15 End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers
14. Altmetric Badge
    Chapter 16 Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
15. Altmetric Badge
    Chapter 17 Specification-Guided Learning of Nash Equilibria with High Social Welfare
16. Altmetric Badge
    Chapter 18 Synthesizing Fair Decision Trees via Iterative Constraint Solving
17. Altmetric Badge
    Chapter 20 Verifying Fairness in Quantum Machine Learning
18. Altmetric Badge
    Chapter 21 MoGym: Using Formal Models for Training and Verifying Decision-making Agents
19. Altmetric Badge
    Chapter 22 Synthesis and Analysis of Petri Nets from Causal Specifications
20. Altmetric Badge
    Chapter 23 Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
21. Altmetric Badge
    Chapter 24 Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET
22. Altmetric Badge
    Chapter 25 Information Flow Guided Synthesis
23. Altmetric Badge
    Chapter 26 Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation