Verified Software: Theories, Tools and Experiments

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Logical Analysis of Framing for Specifications with Pure Method Calls
3. Altmetric Badge
   Chapter 2 Efficient Refinement Checking in VCC
4. Altmetric Badge
   Chapter 3 Formalizing Semantics with an Automatic Program Verifier
5. Altmetric Badge
   Chapter 4 The KeY Platform for Verification and Analysis of Java Programs
6. Altmetric Badge
   Chapter 5 A Verification Condition Visualizer
7. Altmetric Badge
   Chapter 6 Formal Modeling and Verification of CloudProxy
8. Altmetric Badge
   Chapter 7 Using Promela in a Fully Verified Executable LTL Model Checker
9. Altmetric Badge
   Chapter 8 Store Buffer Reduction with MMUs
10. Altmetric Badge
    Chapter 9 Verified Software: Theories, Tools and Experiments
11. Altmetric Badge
    Chapter 10 Separation Algebras for C Verification in Coq
12. Altmetric Badge
    Chapter 11 Automatically Verified Implementation of Data Structures Based on AVL Trees
13. Altmetric Badge
    Chapter 12 A Model for Capturing and Replaying Proof Strategies
14. Altmetric Badge
    Chapter 13 A Certifying Frontend for (Sub)polyhedral Abstract Domains
15. Altmetric Badge
    Chapter 14 Verified Software: Theories, Tools and Experiments
16. Altmetric Badge
    Chapter 15 Parameterized Model-Checking of Timed Systems with Conjunctive Guards
17. Altmetric Badge
    Chapter 16 Timed Refinement for Verification of Real-Time Object Code Programs
18. Altmetric Badge
    Chapter 17 What Gives? A Hybrid Algorithm for Error Trace Explanation