Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Spirit of Ghost Code
3. Altmetric Badge
   Chapter 2 SMT-Based Model Checking for Recursive Programs
4. Altmetric Badge
   Chapter 3 Property-Directed Shape Analysis
5. Altmetric Badge
   Chapter 4 Shape Analysis via Second-Order Bi-Abduction
6. Altmetric Badge
   Chapter 5 ICE: A Robust Framework for Learning Invariants
7. Altmetric Badge
   Chapter 6 From Invariant Checking to Invariant Inference Using Randomized Search
8. Altmetric Badge
   Chapter 7 SMACK: Decoupling Source Language Details from Verifier Implementations
9. Altmetric Badge
   Chapter 8 Synthesis of Masking Countermeasures against Side Channel Attacks
10. Altmetric Badge
    Chapter 9 Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
11. Altmetric Badge
    Chapter 10 String Constraints for Verification
12. Altmetric Badge
    Chapter 11 A Conference Management System with Verified Document Confidentiality
13. Altmetric Badge
    Chapter 12 Vac - Verifier of Administrative Role-Based Access Control Policies
14. Altmetric Badge
    Chapter 13 From LTL to Deterministic Automata: A Safraless Compositional Approach
15. Altmetric Badge
    Chapter 14 Symbolic Visibly Pushdown Automata
16. Altmetric Badge
    Chapter 15 Engineering a Static Verification Tool for GPU Kernels
17. Altmetric Badge
    Chapter 16 Lazy Annotation Revisited
18. Altmetric Badge
    Chapter 17 Interpolating Property Directed Reachability
19. Altmetric Badge
    Chapter 18 Verifying Relative Error Bounds Using Symbolic Simulation
20. Altmetric Badge
    Chapter 19 Regression Test Selection for Distributed Software Histories
21. Altmetric Badge
    Chapter 20 GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components
22. Altmetric Badge
    Chapter 21 Software Verification in the Google App-Engine Cloud
23. Altmetric Badge
    Chapter 22 The nuXmv Symbolic Model Checker
24. Altmetric Badge
    Chapter 23 Analyzing and Synthesizing Genomic Logic Functions
25. Altmetric Badge
    Chapter 24 Computer Aided Verification
26. Altmetric Badge
    Chapter 25 Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
27. Altmetric Badge
    Chapter 26 Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
28. Altmetric Badge
    Chapter 27 Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections
29. Altmetric Badge
    Chapter 28 Verifying LTL Properties of Hybrid Systems with K-Liveness
30. Altmetric Badge
    Chapter 29 Safraless Synthesis for Epistemic Temporal Specifications
31. Altmetric Badge
    Chapter 30 Minimizing Running Costs in Consumption Systems
32. Altmetric Badge
    Chapter 31 Computer Aided Verification
33. Altmetric Badge
    Chapter 32 Optimal Guard Synthesis for Memory Safety
34. Altmetric Badge
    Chapter 33 Don’t Sit on the Fence
35. Altmetric Badge
    Chapter 34 MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
36. Altmetric Badge
    Chapter 35 Solving Games without Controllable Predecessor
37. Altmetric Badge
    Chapter 36 G4LTL-ST : Automatic Generation of PLC Programs
38. Altmetric Badge
    Chapter 37 Automatic Atomicity Verification for Clients of Concurrent Data Structures
39. Altmetric Badge
    Chapter 38 Regression-Free Synthesis for Concurrency
40. Altmetric Badge
    Chapter 39 Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
41. Altmetric Badge
    Chapter 40 An SMT-Based Approach to Coverability Analysis
42. Altmetric Badge
    Chapter 41 LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes
43. Altmetric Badge
    Chapter 42 Monadic Decomposition
44. Altmetric Badge
    Chapter 43 A DPLL( T ) Theory Solver for a Theory of Strings and Regular Expressions
45. Altmetric Badge
    Chapter 44 Bit-Vector Rewriting with Automatic Rule Generation
46. Altmetric Badge
    Chapter 45 Computer Aided Verification
47. Altmetric Badge
    Chapter 46 Computer Aided Verification
48. Altmetric Badge
    Chapter 47 Automating Separation Logic with Trees and Data
49. Altmetric Badge
    Chapter 48 A Nonlinear Real Arithmetic Fragment
50. Altmetric Badge
    Chapter 49 Yices 2.2
51. Altmetric Badge
    Chapter 50 A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
52. Altmetric Badge
    Chapter 51 Symbolic Resource Bound Inference for Functional Programs
53. Altmetric Badge
    Chapter 52 Proving non-termination using max-SMT
54. Altmetric Badge
    Chapter 53 Termination Analysis by Learning Terminating Programs
55. Altmetric Badge
    Chapter 54 Causal Termination of Multi-threaded Programs
56. Altmetric Badge
    Chapter 55 Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)
57. Altmetric Badge
    Chapter 56 Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction
58. Altmetric Badge
    Chapter 57 QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers