Tools and Algorithms for the Construction and Analysis of Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
3. Altmetric Badge
   Chapter 2 Bounded Model Checking for Asynchronous Hyperproperties
4. Altmetric Badge
   Chapter 3 Model Checking Linear Dynamical Systems under Floating-point Rounding
5. Altmetric Badge
   Chapter 4 Efficient Loop Conditions for Bounded Model Checking Hyperproperties
6. Altmetric Badge
   Chapter 5 Reconciling Preemption Bounding with DPOR
7. Altmetric Badge
   Chapter 6 Optimal Stateless Model Checking for Causal Consistency
8. Altmetric Badge
   Chapter 7 Symbolic Model Checking for TLA+ Made Faster
9. Altmetric Badge
   Chapter 8 AutoHyper: Explicit-State Model Checking for HyperLTL
10. Altmetric Badge
    Chapter 9 Feature Necessity & Relevancy in ML Classifier Explanations
11. Altmetric Badge
    Chapter 10 Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
12. Altmetric Badge
    Chapter 11 OccRob : Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks
13. Altmetric Badge
    Chapter 12 Neural Network-Guided Synthesis of Recursive List Functions
14. Altmetric Badge
    Chapter 13 Modular Mix-and-Match Complementation of Büchi Automata
15. Altmetric Badge
    Chapter 14 Validating Streaming JSON Documents with Learned VPAs
16. Altmetric Badge
    Chapter 15 Antichains Algorithms for the Inclusion Problem Between $$\omega $$ ω -VPL
17. Altmetric Badge
    Chapter 16 Stack-Aware Hyperproperties
18. Altmetric Badge
    Chapter 17 Propositional Proof Skeletons
19. Altmetric Badge
    Chapter 18 Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers
20. Altmetric Badge
    Chapter 19 Carcara : An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format
21. Altmetric Badge
    Chapter 20 The Packing Chromatic Number of the Infinite Square Grid is 15
22. Altmetric Badge
    Chapter 21 Active Learning for SAT Solver Benchmarking
23. Altmetric Badge
    Chapter 22 ParaQooba : A Fast and Flexible Framework for Parallel and Distributed QBF Solving
24. Altmetric Badge
    Chapter 23 Inferring Needless Write Memory Accesses on Ethereum Bytecode
25. Altmetric Badge
    Chapter 24 A Practitioner’s Guide to MDP Model Checking Algorithms
26. Altmetric Badge
    Chapter 25 Correct Approximation of Stationary Distributions
27. Altmetric Badge
    Chapter 26 Robust Almost-Sure Reachability in Multi-Environment MDPs
28. Altmetric Badge
    Chapter 27 Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning
29. Altmetric Badge
    Chapter 28 A Formal CHERI-C Semantics for Verification
30. Altmetric Badge
    Chapter 28 A Formal CHERI-C Semantics for Verification
31. Altmetric Badge
    Chapter 29 Automated Verification for Real-Time Systems
32. Altmetric Badge
    Chapter 30 Parameterized Verification under TSO with Data Types
33. Altmetric Badge
    Chapter 31 Verifying Learning-Based Robotic Navigation Systems
34. Altmetric Badge
    Chapter 32 Make Flows Small Again: Revisiting the Flow Framework
35. Altmetric Badge
    Chapter 33 ALASCA: Reasoning in Quantified Linear Arithmetic
36. Altmetric Badge
    Chapter 34 A Matrix-Based Approach to Parity Games
37. Altmetric Badge
    Chapter 35 A GPU Tree Database for Many-Core Explicit State Space Exploration