↓ Skip to main content

Computer Aided Verification

Overview of attention for book
Cover of 'Computer Aided Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
  3. Altmetric Badge
    Chapter 2 Markov Chains and Unambiguous Büchi Automata
  4. Altmetric Badge
    Chapter 3 Synthesizing Probabilistic Invariants via Doob’s Decomposition
  5. Altmetric Badge
    Chapter 4 PSI: Exact Symbolic Inference for Probabilistic Programs
  6. Altmetric Badge
    Chapter 5 PSCV: A Runtime Verification Tool for Probabilistic SystemC Models
  7. Altmetric Badge
    Chapter 6 Structural Synthesis for GXW Specifications
  8. Altmetric Badge
    Chapter 7 Bounded Cycle Synthesis
  9. Altmetric Badge
    Chapter 8 Fast, Flexible, and Minimal CTL Synthesis via SMT
  10. Altmetric Badge
    Chapter 9 Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
  11. Altmetric Badge
    Chapter 10 A Decision Procedure for Sets, Binary Relations and Partial Functions
  12. Altmetric Badge
    Chapter 11 Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories
  13. Altmetric Badge
    Chapter 12 Progressive Reasoning over Recursively-Defined Strings
  14. Altmetric Badge
    Chapter 13 String Analysis via Automata Manipulation with Logic Circuit Representation
  15. Altmetric Badge
    Chapter 14 Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
  16. Altmetric Badge
    Chapter 15 Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
  17. Altmetric Badge
    Chapter 16 Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances
  18. Altmetric Badge
    Chapter 17 Learning-Based Assume-Guarantee Regression Verification
  19. Altmetric Badge
    Chapter 18 Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement
  20. Altmetric Badge
    Chapter 19 JayHorn: A Framework for Verifying Java programs
  21. Altmetric Badge
    Chapter 20 Trigger Selection Strategies to Stabilize Program Verifiers
  22. Altmetric Badge
    Chapter 21 Satisfiability Modulo Heap-Based Programs
  23. Altmetric Badge
    Chapter 22 Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution
  24. Altmetric Badge
    Chapter 23 From Shape Analysis to Termination Analysis in Linear Time
  25. Altmetric Badge
    Chapter 24 RV-Match: Practical Semantics-Based Program Analysis
  26. Altmetric Badge
    Chapter 25 Under-Approximating Backward Reachable Sets by Polytopes
  27. Altmetric Badge
    Chapter 26 Parsimonious, Simulation Based Verification of Linear Systems
  28. Altmetric Badge
    Chapter 27 Counterexample Guided Abstraction Refinement for Stability Analysis
  29. Altmetric Badge
    Chapter 28 Symbolic Optimal Reachability in Weighted Timed Automata
  30. Altmetric Badge
    Chapter 29 Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
Attention for Chapter 20: Trigger Selection Strategies to Stabilize Program Verifiers
Altmetric Badge

Mentioned by

twitter
1 tweeter

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Trigger Selection Strategies to Stabilize Program Verifiers
Chapter number 20
Book title
Computer Aided Verification
Published by
Springer, Cham, July 2016
DOI 10.1007/978-3-319-41528-4_20
Book ISBNs
978-3-31-941527-7, 978-3-31-941528-4
Authors

K. R. M. Leino, Clément Pit-Claudel

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 80%
Student > Bachelor 1 20%
Readers by discipline Count As %
Computer Science 4 80%
Mathematics 1 20%