Automated Technology for Verification and Analysis

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 First-Order Timed Runtime Verification Using BDDs
3. Altmetric Badge
   Chapter 2 Verified Textbook Algorithms
4. Altmetric Badge
   Chapter 3 Verifying Recurrent Neural Networks Using Invariant Inference
5. Altmetric Badge
   Chapter 4 NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
6. Altmetric Badge
   Chapter 5 DeepAbstract: Neural Network Abstraction for Accelerating Verification
7. Altmetric Badge
   Chapter 6 Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
8. Altmetric Badge
   Chapter 7 Practical “Paritizing” of Emerson-Lei Automata
9. Altmetric Badge
   Chapter 8 Complexity of Verification and Synthesis of Threshold Automata
10. Altmetric Badge
    Chapter 9 On ( I / O )-Aware Good-For-Games Automata
11. Altmetric Badge
    Chapter 10 Urgent Partial Order Reduction for Extended Timed Automata
12. Altmetric Badge
    Chapter 11 Eliminating Message Counters in Threshold Automata
13. Altmetric Badge
    Chapter 12 Context-Aware Temporal Logic for Probabilistic Systems
14. Altmetric Badge
    Chapter 13 Multi-head Monitoring of Metric Dynamic Logic
15. Altmetric Badge
    Chapter 14 Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth
16. Altmetric Badge
    Chapter 15 Robustness Verification for Classifier Ensembles
17. Altmetric Badge
    Chapter 16 Verification of Indefinite-Horizon POMDPs
18. Altmetric Badge
    Chapter 17 Verification of a Generative Separation Kernel
19. Altmetric Badge
    Chapter 18 A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
20. Altmetric Badge
    Chapter 19 From Checking to Inference: Actual Causality Computations as Optimization Problems
21. Altmetric Badge
    Chapter 20 Boosting Sequential Consistency Checking Using Saturation
22. Altmetric Badge
    Chapter 21 Parallel Graph-Based Stateless Model Checking
23. Altmetric Badge
    Chapter 22 Model Checking Branching Properties on Petri Nets with Transits
24. Altmetric Badge
    Chapter 23 Explainable Reactive Synthesis
25. Altmetric Badge
    Chapter 24 Robust Controller Synthesis for Duration Calculus
26. Altmetric Badge
    Chapter 25 Dependency-Based Compositional Synthesis
27. Altmetric Badge
    Chapter 26 Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling
28. Altmetric Badge
    Chapter 27 Probabilistic Hyperproperties of Markov Decision Processes
29. Altmetric Badge
    Chapter 28 Minimal Witnesses for Probabilistic Timed Automata
30. Altmetric Badge
    Chapter 29 Probabilistic Hyperproperties with Nondeterminism
31. Altmetric Badge
    Chapter 30 ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems
32. Altmetric Badge
    Chapter 31 RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
33. Altmetric Badge
    Chapter 32 Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs
34. Altmetric Badge
    Chapter 33 DG: Analysis and Slicing of LLVM Bitcode
35. Altmetric Badge
    Chapter 34 RTAMT: Online Robustness Monitors from STL