Automated Technology for Verification and Analysis

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns
3. Altmetric Badge
   Chapter 2 Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations
4. Altmetric Badge
   Chapter 3 Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
5. Altmetric Badge
   Chapter 4 Parameter Synthesis for Markov Models: Faster Than Ever
6. Altmetric Badge
   Chapter 5 Bounded Model Checking for Probabilistic Programs
7. Altmetric Badge
   Chapter 6 How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
8. Altmetric Badge
   Chapter 7 Solving Language Equations Using Flanked Automata
9. Altmetric Badge
   Chapter 8 Spot 2.0 — A Framework for LTL and \(\omega \)-Automata Manipulation
10. Altmetric Badge
    Chapter 9 MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata
11. Altmetric Badge
    Chapter 10 Synchronous Products of Rewrite Systems
12. Altmetric Badge
    Chapter 11 Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents
13. Altmetric Badge
    Chapter 12 Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs
14. Altmetric Badge
    Chapter 13 Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems
15. Altmetric Badge
    Chapter 14 On Finite Domains in First-Order Linear Temporal Logic
16. Altmetric Badge
    Chapter 15 Decidability Results for Multi-objective Stochastic Games
17. Altmetric Badge
    Chapter 16 A Decision Procedure for Separation Logic in SMT
18. Altmetric Badge
    Chapter 17 Solving Mean-Payoff Games on the GPU
19. Altmetric Badge
    Chapter 18 Synthesizing Skeletons for Reactive Systems
20. Altmetric Badge
    Chapter 19 Observational Refinement and Merge for Disjunctive MTSs
21. Altmetric Badge
    Chapter 20 Equivalence-Based Abstraction Refinement for $$\mu $$ HORS Model Checking
22. Altmetric Badge
    Chapter 21 Greener Bits: Formal Analysis of Demand Response
23. Altmetric Badge
    Chapter 22 Heuristics for Checking Liveness Properties with Partial Order Reductions
24. Altmetric Badge
    Chapter 23 Partial-Order Reduction for GPU Model Checking
25. Altmetric Badge
    Chapter 24 Efficient Verification of Program Fragments: Eager POR
26. Altmetric Badge
    Chapter 25 Skolem Functions for DQBF
27. Altmetric Badge
    Chapter 26 STL Model Checking of Continuous and Hybrid Systems
28. Altmetric Badge
    Chapter 27 Clause Sharing and Partitioning for Cloud-Based SMT Solving
29. Altmetric Badge
    Chapter 28 Symbolic Model Checking for Factored Probabilistic Models
30. Altmetric Badge
    Chapter 29 A Sketching-Based Approach for Debugging Using Test Cases
31. Altmetric Badge
    Chapter 30 Polynomial Invariants by Linear Algebra
32. Altmetric Badge
    Chapter 31 Certified Symbolic Execution
33. Altmetric Badge
    Chapter 32 Tighter Loop Bound Analysis