Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems
3. Altmetric Badge
   Chapter 2 Satisfiability Checking: Theory and Applications
4. Altmetric Badge
   Chapter 3 Automatic Derivation of Platform Noninterference Properties
5. Altmetric Badge
   Chapter 4 Linearizability and Causality
6. Altmetric Badge
   Chapter 5 Refinement-Based Verification of Communicating Unstructured Code
7. Altmetric Badge
   Chapter 6 Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information
8. Altmetric Badge
   Chapter 7 Correlating Structured Inputs and Outputs in Functional Specifications
9. Altmetric Badge
   Chapter 8 Combining Predicate Abstraction with Fixpoint Approximations
10. Altmetric Badge
    Chapter 9 Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis
11. Altmetric Badge
    Chapter 10 Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams
12. Altmetric Badge
    Chapter 11 Program Generation Using Simulated Annealing and Model Checking
13. Altmetric Badge
    Chapter 12 LTL Parameter Synthesis of Parametric Timed Automata
14. Altmetric Badge
    Chapter 13 Model Checking Simulation Rules for Linearizability
15. Altmetric Badge
    Chapter 14 LTL Model Checking under Fairness in ProB
16. Altmetric Badge
    Chapter 15 Counterexamples from Proof Failures in SPARK
17. Altmetric Badge
    Chapter 16 Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
18. Altmetric Badge
    Chapter 17 SMT-Based Automatic Proof of ASM Model Refinement
19. Altmetric Badge
    Chapter 18 Coq Implementation of OO Verification Framework VeriJ
20. Altmetric Badge
    Chapter 19 Towards a Proof Framework for Information Systems with Weak Consistency
21. Altmetric Badge
    Chapter 20 A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems
22. Altmetric Badge
    Chapter 21 Incentive Stackelberg Mean-Payoff Games
23. Altmetric Badge
    Chapter 22 Stability-Based Adaptation of Asynchronously Communicating Software
24. Altmetric Badge
    Chapter 23 Compliance Checking in the Open Payments Ecosystem
25. Altmetric Badge
    Chapter 24 CoCoSpec: A Mode-Aware Contract Language for Reactive Systems
26. Altmetric Badge
    Chapter 25 Modularizing Crosscutting Concerns in Component-Based Systems
27. Altmetric Badge
    Chapter 26 Tightening a Contract Refinement
28. Altmetric Badge
    Chapter 27 BMotionWeb: A Tool for Rapid Creation of Formal Prototypes