Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 An O ( m  log  n ) algorithm for branching bisimilarity on labelled transition systems
3. Altmetric Badge
   Chapter 2 Verifying Quantum Communication Protocols with Ground Bisimulation
4. Altmetric Badge
   Chapter 3 Deciding the Bisimilarity of Context-Free Session Types
5. Altmetric Badge
   Chapter 4 Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
6. Altmetric Badge
   Chapter 5 How Many Bits Does it Take to Quantize Your Neural Network?
7. Altmetric Badge
   Chapter 6 Highly Automated Formal Proofs over Memory Usage of Assembly Code
8. Altmetric Badge
   Chapter 7 GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
9. Altmetric Badge
   Chapter 8 CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering
10. Altmetric Badge
    Chapter 9 Practical Machine-Checked Formalization of Change Impact Analysis
11. Altmetric Badge
    Chapter 10 What’s Decidable About Program Verification Modulo Axioms?
12. Altmetric Badge
    Chapter 11 Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting
13. Altmetric Badge
    Chapter 12 Fold/Unfold Transformations for Fixpoint Logic
14. Altmetric Badge
    Chapter 13 Verifying OpenJDK’s LinkedList using KeY
15. Altmetric Badge
    Chapter 14 Analysing installation scenarios of Debian packages
16. Altmetric Badge
    Chapter 15 Endicheck: Dynamic Analysis for Detecting Endianness Bugs
17. Altmetric Badge
    Chapter 16 Describing and Simulating Concurrent Quantum Systems
18. Altmetric Badge
    Chapter 17 EMTST: Engineering the Meta-theory of Session Types
19. Altmetric Badge
    Chapter 18 Solving Mean-Payoff Games via Quasi Dominions
20. Altmetric Badge
    Chapter 19 Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
21. Altmetric Badge
    Chapter 20 Polynomial Identification of $$\omega $$ -Automata
22. Altmetric Badge
    Chapter 21 Advances in Automatic Software Verification: SV-COMP 2020
23. Altmetric Badge
    Chapter 22 2LS: Heap Analysis and Memory Safety
24. Altmetric Badge
    Chapter 23 COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
25. Altmetric Badge
    Chapter 24 Dartagnan : Bounded Model Checking for Weak Memory Models (Competition Contribution)
26. Altmetric Badge
    Chapter 25 VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
27. Altmetric Badge
    Chapter 26 GACAL: Conjecture-Based Verification
28. Altmetric Badge
    Chapter 27 Java Ranger at SV-COMP 2020 (Competition Contribution)
29. Altmetric Badge
    Chapter 28 JD art : Dynamic Symbolic Execution for J ava Bytecode (Competition Contribution)
30. Altmetric Badge
    Chapter 29 Map2Check: Using Symbolic Execution and Fuzzing
31. Altmetric Badge
    Chapter 30 PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
32. Altmetric Badge
    Chapter 31 Symbiotic 7: Integration of Predator and More
33. Altmetric Badge
    Chapter 32 Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions