Tools and Algorithms for the Construction and Analysis of Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 EVA : a Tool for the Compositional Verification of AUTOSAR Models
3. Altmetric Badge
   Chapter 2 WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification
4. Altmetric Badge
   Chapter 3 Multiparty Session Typing in Java, Deductively
5. Altmetric Badge
   Chapter 4 PyLTA: A Verification Tool for Parameterized Distributed Algorithms
6. Altmetric Badge
   Chapter 5 FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format
7. Altmetric Badge
   Chapter 6 Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
8. Altmetric Badge
   Chapter 7 New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
9. Altmetric Badge
   Chapter 8 Verified reductions for optimization
10. Altmetric Badge
    Chapter 9 Specifying and Verifying Higher-order Rust Iterators
11. Altmetric Badge
    Chapter 10 Extending a High-Performance Prover to Higher-Order Logic
12. Altmetric Badge
    Chapter 11 The WhyRel Prototype for Modular Relational Verification of Pointer Programs
13. Altmetric Badge
    Chapter 12 Bridging Hardware and Software Analysis with Btor2C : A Word-Level-Circuit-to-C Translator
14. Altmetric Badge
    Chapter 13 CoPTIC: Constraint Programming Translated Into C
15. Altmetric Badge
    Chapter 14 Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability
16. Altmetric Badge
    Chapter 15 Computing Adequately Permissive Assumptions for Synthesis
17. Altmetric Badge
    Chapter 16 Verification-guided Programmatic Controller Synthesis
18. Altmetric Badge
    Chapter 17 Taming Large Bounds in Synthesis from Bounded-Liveness Specifications
19. Altmetric Badge
    Chapter 18 Lockstep Composition for Unbalanced Loops
20. Altmetric Badge
    Chapter 19 Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification
21. Altmetric Badge
    Chapter 20 LTL Reactive Synthesis with a Few Hints
22. Altmetric Badge
    Chapter 21 Timed Automata Verification and Synthesis via Finite Automata Learning
23. Altmetric Badge
    Chapter 22 A Truly Symbolic Linear-Time Algorithm for SCC Decomposition
24. Altmetric Badge
    Chapter 23 Transforming Quantified Boolean Formulas Using Biclique Covers
25. Altmetric Badge
    Chapter 24 Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
26. Altmetric Badge
    Chapter 25 Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
27. Altmetric Badge
    Chapter 26 Industrial-Strength Controlled Concurrency Testing for $$\textsc {C}{} \texttt {\#} $$ C # Programs with $$\textsc {Coyote} $$ C O Y O T E
28. Altmetric Badge
    Chapter 27 Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis
29. Altmetric Badge
    Chapter 28 Explainable Online Monitoring of Metric Temporal Logic
30. Altmetric Badge
    Chapter 29 Competition on Software Verification and Witness Validation: SV-COMP 2023
31. Altmetric Badge
    Chapter 30 Symbiotic-Witch  2: More Efficient Algorithm and Witness Refutation
32. Altmetric Badge
    Chapter 31 2LS: Arrays and Loop Unwinding
33. Altmetric Badge
    Chapter 32 Bubaak : Runtime Monitoring of Program Verifiers
34. Altmetric Badge
    Chapter 33 EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs
35. Altmetric Badge
    Chapter 34 Goblint : Autotuning Thread-Modular Abstract Interpretation
36. Altmetric Badge
    Chapter 35 Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)
37. Altmetric Badge
    Chapter 36 Korn —Software Verification with Horn Clauses (Competition Contribution)
38. Altmetric Badge
    Chapter 37 Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)
39. Altmetric Badge
    Chapter 38 PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution)
40. Altmetric Badge
    Chapter 39 Ultimate Automizer and the CommuHash Normal Form
41. Altmetric Badge
    Chapter 40 Ultimate Taipan and Race Detection in Ultimate
42. Altmetric Badge
    Chapter 41 VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)
43. Altmetric Badge
    Chapter 42 VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution)