↓ Skip to main content

Computer Aided Verification

Overview of attention for book
Computer Aided Verification
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Satisfiability Checking for Mission-Time LTL
  3. Altmetric Badge
    Chapter 2 High-Level Abstractions for Simplifying Extended String Constraints in SMT
  4. Altmetric Badge
    Chapter 3 Alternating Automata Modulo First Order Theories
  5. Altmetric Badge
    Chapter 4 Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors
  6. Altmetric Badge
    Chapter 5 cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
  7. Altmetric Badge
    Chapter 6 Incremental Determinization for Quantifier Elimination and Functional Synthesis
  8. Altmetric Badge
    Chapter 7 Loop Summarization with Rational Vector Addition Systems
  9. Altmetric Badge
    Chapter 8 Invertibility Conditions for Floating-Point Formulas
  10. Altmetric Badge
    Chapter 9 Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
  11. Altmetric Badge
    Chapter 10 Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler
  12. Altmetric Badge
    Chapter 11 Sound Approximation of Programs with Elementary Functions
  13. Altmetric Badge
    Chapter 12 Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
  14. Altmetric Badge
    Chapter 13 SecCSL: Security Concurrent Separation Logic
  15. Altmetric Badge
    Chapter 14 Reachability Analysis for AWS-Based Networks
  16. Altmetric Badge
    Chapter 15 Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
  17. Altmetric Badge
    Chapter 16 Gradual Consistency Checking
  18. Altmetric Badge
    Chapter 17 Checking Robustness Against Snapshot Isolation
  19. Altmetric Badge
    Chapter 18 Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement
  20. Altmetric Badge
    Chapter 19 On the Complexity of Checking Consistency for Replicated Data Types
  21. Altmetric Badge
    Chapter 20 Communication-Closed Asynchronous Protocols
  22. Altmetric Badge
    Chapter 21 Interpolating Strong Induction
  23. Altmetric Badge
    Chapter 22 Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers
  24. Altmetric Badge
    Chapter 23 Inferring Inductive Invariants from Phase Structures
  25. Altmetric Badge
    Chapter 24 Termination of Triangular Integer Loops is Decidable
  26. Altmetric Badge
    Chapter 25 AliveInLean: A Verified LLVM Peephole Optimization Verifier
  27. Altmetric Badge
    Chapter 26 Automated Parameterized Verification of CRDTs
  28. Altmetric Badge
    Chapter 27 What’s Wrong with On-the-Fly Partial Order Reduction
  29. Altmetric Badge
    Chapter 28 Integrating Formal Schedulability Analysis into a Verified OS Kernel
  30. Altmetric Badge
    Chapter 29 Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS
  31. Altmetric Badge
    Chapter 30 Violat: Generating Tests of Observational Refinement for Concurrent Objects
Attention for Chapter 27: What’s Wrong with On-the-Fly Partial Order Reduction
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
9 Mendeley