Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Resource Analysis: From Sequential to Concurrent and Distributed Programs
3. Altmetric Badge
   Chapter 2 AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned
4. Altmetric Badge
   Chapter 3 Automated Circular Assume-Guarantee Reasoning
5. Altmetric Badge
   Chapter 4 Towards Formal Verification of Orchestration Computations Using the {\mathbb K} Framework
6. Altmetric Badge
   Chapter 5 Narrowing Operators on Template Abstract Domains
7. Altmetric Badge
   Chapter 6 Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification
8. Altmetric Badge
   Chapter 7 Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures
9. Altmetric Badge
   Chapter 8 A Specification Language for Static and Runtime Verification of Data and Control Properties
10. Altmetric Badge
    Chapter 9 Certificates for Parameterized Model Checking
11. Altmetric Badge
    Chapter 10 Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
12. Altmetric Badge
    Chapter 11 Verifying Opacity of a Transactional Mutex Lock
13. Altmetric Badge
    Chapter 12 A Framework for Correctness Criteria on Weak Memory Models
14. Altmetric Badge
    Chapter 13 Semantics-Preserving Simplification of Real-World Firewall Rule Sets
15. Altmetric Badge
    Chapter 14 Parameter Synthesis Through Temporal Logic Specifications
16. Altmetric Badge
    Chapter 15 Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
17. Altmetric Badge
    Chapter 16 Probabilistic Bisimulation for Realistic Schedulers
18. Altmetric Badge
    Chapter 17 QPMC: A Model Checker for Quantum Programs and Protocols
19. Altmetric Badge
    Chapter 18 Automated Verification of RPC Stub Code
20. Altmetric Badge
    Chapter 19 Property-Driven Fence Insertion Using Reorder Bounded Model Checking
21. Altmetric Badge
    Chapter 20 Verifying the Safety of a Flight-Critical System
22. Altmetric Badge
    Chapter 21 Proving Safety with Trace Automata and Bounded Model Checking
23. Altmetric Badge
    Chapter 22 Verifying Parameterized Timed Security Protocols
24. Altmetric Badge
    Chapter 23 Abstraction of Elementary Hybrid Systems by Variable Transformation
25. Altmetric Badge
    Chapter 24 Using Real-Time Maude to Model Check Energy Consumption Behavior
26. Altmetric Badge
    Chapter 25 Static Differential Program Analysis for Software-Defined Networks
27. Altmetric Badge
    Chapter 26 A Fully Verified Container Library
28. Altmetric Badge
    Chapter 27 Counterexamples for Expected Rewards
29. Altmetric Badge
    Chapter 28 The Semantics of Cardinality-Based Feature Models via Formal Languages
30. Altmetric Badge
    Chapter 29 Axiomatization of Typed First-Order Logic
31. Altmetric Badge
    Chapter 30 Model-Based Problem Solving for University Timetable Validation and Improvement
32. Altmetric Badge
    Chapter 31 Certified Reasoning with Infinity
33. Altmetric Badge
    Chapter 32 Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
34. Altmetric Badge
    Chapter 33 Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
35. Altmetric Badge
    Chapter 34 Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
36. Altmetric Badge
    Chapter 35 Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking
37. Altmetric Badge
    Chapter 36 Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems
38. Altmetric Badge
    Chapter 37 Software Development and Authentication for Arms Control Information Barriers
39. Altmetric Badge
    Chapter 38 Analyzing the Restart Behavior of Industrial Control Applications
40. Altmetric Badge
    Chapter 39 Case Study: Static Security Analysis of the Android Goldfish Kernel
41. Altmetric Badge
    Chapter 40 Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware
42. Altmetric Badge
    Chapter 41 Formal Virtual Modelling and Data Verification for Supervision Systems
43. Altmetric Badge
    Chapter 42 Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests
44. Altmetric Badge
    Chapter 43 Formalizing the Concept Phase of Product Development