Tools and Algorithms for the Construction and Analysis of Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Provable Preimage Under-Approximation for Neural Networks
3. Altmetric Badge
   Chapter 2 Training for Verification: Increasing Neuron Stability to Scale DNN Verification
4. Altmetric Badge
   Chapter 3 NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
5. Altmetric Badge
   Chapter 4 $${\textsc {HaliVer}}$$ H A L I V E R : Deductive Verification and Scheduling Languages Join Forces
6. Altmetric Badge
   Chapter 5 Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
7. Altmetric Badge
   Chapter 6 Fast Symbolic Computation of Bottom SCCs
8. Altmetric Badge
   Chapter 7 Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers
9. Altmetric Badge
   Chapter 8 Auction-Based Scheduling
10. Altmetric Badge
    Chapter 9 Most General Winning Secure Equilibria Synthesis in Graph Games
11. Altmetric Badge
    Chapter 10 On-The-Fly Algorithm for Reachability in Parametric Timed Games
12. Altmetric Badge
    Chapter 11 Rabin Games and Colourful Universal Trees
13. Altmetric Badge
    Chapter 12 Decidable Verification under Localized Release-Acquire Concurrency
14. Altmetric Badge
    Chapter 13 OxiDD
15. Altmetric Badge
    Chapter 14 Verification under TSO with an infinite Data Domain
16. Altmetric Badge
    Chapter 15 State of the Art in Software Verification and Witness Validation: SV-COMP 2024
17. Altmetric Badge
    Chapter 16 ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
18. Altmetric Badge
    Chapter 17 Goblint Validator : Correctness Witness Validation by Abstract Interpretation
19. Altmetric Badge
    Chapter 18 Witch  3: Validation of Violation Witnesses in the Witness Format 2.0
20. Altmetric Badge
    Chapter 19 AISE : A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
21. Altmetric Badge
    Chapter 20 Bubaak -SpLit: Split what you cannot verify (Competition contribution)
22. Altmetric Badge
    Chapter 21 CPAchecker 2.3 with Strategy Selection
23. Altmetric Badge
    Chapter 22 CPV: A Circuit-Based Program Verifier
24. Altmetric Badge
    Chapter 23 EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
25. Altmetric Badge
    Chapter 24 ESBMC v7.4: Harnessing the Power of Intervals
26. Altmetric Badge
    Chapter 25 Goblint : Abstract Interpretation for Memory Safety and Termination
27. Altmetric Badge
    Chapter 26 Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
28. Altmetric Badge
    Chapter 27 PROTON: PRObes for Termination Or Not (Competition Contribution)
29. Altmetric Badge
    Chapter 28 SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)
30. Altmetric Badge
    Chapter 29 Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
31. Altmetric Badge
    Chapter 30 Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
32. Altmetric Badge
    Chapter 31 Ultimate Automizer and the Abstraction of Bitwise Operations