↓ 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 Automata Tutor v3
  3. Altmetric Badge
    Chapter 2 Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
  4. Altmetric Badge
    Chapter 3 RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
  5. Altmetric Badge
    Chapter 4 Realizing $$\omega $$ -regular Hyperproperties
  6. Altmetric Badge
    Chapter 5 AdamMC : A Model Checker for Petri Nets with Transits against Flow-LTL
  7. Altmetric Badge
    Chapter 6 Action-Based Model Checking: Logic, Automata, and Reduction
  8. Altmetric Badge
    Chapter 7 Global Guidance for Local Generalization in Model Checking
  9. Altmetric Badge
    Chapter 8 Towards Model Checking Real-World Software-Defined Networks
  10. Altmetric Badge
    Chapter 9 Code2Inv: A Deep Learning Framework for Program Verification
  11. Altmetric Badge
    Chapter 10 MetaVal: Witness Validation via Verification
  12. Altmetric Badge
    Chapter 11 Recursive Data Structures in SPARK
  13. Altmetric Badge
    Chapter 12 Ivy: A Multi-modal Verification Tool for Distributed Algorithms
  14. Altmetric Badge
    Chapter 13 Reasoning over Permissions Regions in Concurrent Separation Logic
  15. Altmetric Badge
    Chapter 14 Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
  16. Altmetric Badge
    Chapter 15 Maximum Causal Entropy Specification Inference from Demonstrations
  17. Altmetric Badge
    Chapter 16 Certifying Certainty and Uncertainty in Approximate Membership Query Structures
  18. Altmetric Badge
    Chapter 17 Global PAC Bounds for Learning Discrete Time Markov Chains
  19. Altmetric Badge
    Chapter 18 Unbounded-Time Safety Verification of Stochastic Differential Dynamics
  20. Altmetric Badge
    Chapter 19 Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
  21. Altmetric Badge
    Chapter 20 Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
  22. Altmetric Badge
    Chapter 21 Stochastic Games with Lexicographic Reachability-Safety Objectives
  23. Altmetric Badge
    Chapter 22 Qualitative Controller Synthesis for Consumption Markov Decision Processes
  24. Altmetric Badge
    Chapter 23 STMC: Statistical Model Checker with Stratified and Antithetic Sampling
  25. Altmetric Badge
    Chapter 24 AMYTISS : Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
  26. Altmetric Badge
    Chapter 25 PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
  27. Altmetric Badge
    Chapter 26 Optimistic Value Iteration
  28. Altmetric Badge
    Chapter 27 PrIC3 : Property Directed Reachability for MDPs
  29. Altmetric Badge
    Chapter 28 Good-Enough Synthesis
  30. Altmetric Badge
    Chapter 29 Synthesizing JIT Compilers for In-Kernel DSLs
  31. Altmetric Badge
    Chapter 30 Program Synthesis Using Deduction-Guided Reinforcement Learning
  32. Altmetric Badge
    Chapter 31 Manthan: A Data-Driven Approach for Boolean Function Synthesis
  33. Altmetric Badge
    Chapter 32 Decidable Synthesis of Programs with Uninterpreted Functions
  34. Altmetric Badge
    Chapter 33 Must Fault Localization for Program Repair
Attention for Chapter 12: Ivy: A Multi-modal Verification Tool for Distributed Algorithms
Altmetric Badge

Mentioned by

1 X user


2 Dimensions

Readers on

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
Ivy: A Multi-modal Verification Tool for Distributed Algorithms
Chapter number 12
Book title
Computer Aided Verification
Published by
Springer, Cham, July 2020
DOI 10.1007/978-3-030-53291-8_12
Book ISBNs
978-3-03-053290-1, 978-3-03-053291-8

Kenneth L. McMillan, Oded Padon, McMillan, Kenneth L., Padon, Oded

X Demographics

X Demographics

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

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 > Bachelor 1 20%
Researcher 1 20%
Unknown 3 60%
Readers by discipline Count As %
Computer Science 1 20%
Engineering 1 20%
Unknown 3 60%