↓ 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 Symbolic Register Automata
  3. Altmetric Badge
    Chapter 2 Abstraction Refinement Algorithms for Timed Automata
  4. Altmetric Badge
    Chapter 3 Fast Algorithms for Handling Diagonal Constraints in Timed Automata
  5. Altmetric Badge
    Chapter 4 Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion
  6. Altmetric Badge
    Chapter 5 Clock Bound Repair for Timed Systems
  7. Altmetric Badge
    Chapter 6 Verifying Asynchronous Interactions via Communicating Session Automata
  8. Altmetric Badge
    Chapter 7 Verifying Hyperliveness
  9. Altmetric Badge
    Chapter 8 Quantitative Mitigation of Timing Side Channels
  10. Altmetric Badge
    Chapter 9 Property Directed Self Composition
  11. Altmetric Badge
    Chapter 10 Security-Aware Synthesis Using Delayed-Action Games
  12. Altmetric Badge
    Chapter 11 Automated Hypersafety Verification
  13. Altmetric Badge
    Chapter 12 Automated Synthesis of Secure Platform Mappings
  14. Altmetric Badge
    Chapter 13 Synthesizing Approximate Implementations for Unrealizable Specifications
  15. Altmetric Badge
    Chapter 14 Quantified Invariants via Syntax-Guided Synthesis
  16. Altmetric Badge
    Chapter 15 Efficient Synthesis with Probabilistic Constraints
  17. Altmetric Badge
    Chapter 16 Membership-Based Synthesis of Linear Hybrid Automata
  18. Altmetric Badge
    Chapter 17 Overfitting in Synthesis: Theory and Practice
  19. Altmetric Badge
    Chapter 18 Proving Unrealizability for Syntax-Guided Synthesis
  20. Altmetric Badge
    Chapter 19 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings
  21. Altmetric Badge
    Chapter 20 When Human Intuition Fails: Using Formal Methods to Find an Error in the “Proof” of a Multi-agent Protocol
  22. Altmetric Badge
    Chapter 21 Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
  23. Altmetric Badge
    Chapter 22 Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C
  24. Altmetric Badge
    Chapter 23 Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification
  25. Altmetric Badge
    Chapter 24 StreamLAB: Stream-based Monitoring of Cyber-Physical Systems
  26. Altmetric Badge
    Chapter 25 VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
  27. Altmetric Badge
    Chapter 26 The Marabou Framework for Verification and Analysis of Deep Neural Networks
  28. Altmetric Badge
    Chapter 27 Probabilistic Bisimulation for Parameterized Systems
  29. Altmetric Badge
    Chapter 28 Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks
  30. Altmetric Badge
    Chapter 29 PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
  31. Altmetric Badge
    Chapter 30 Symbolic Monitoring Against Specifications Parametric in Time and Data
  32. Altmetric Badge
    Chapter 31 STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis
  33. Altmetric Badge
    Chapter 32 Local and Compositional Reasoning for Optimized Reactive Systems
  34. Altmetric Badge
    Chapter 33 Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach
  35. Altmetric Badge
    Chapter 34 Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis
  36. Altmetric Badge
    Chapter 35 Temporal Stream Logic: Synthesis Beyond the Bools
  37. Altmetric Badge
    Chapter 36 Run-Time Optimization for Learned Controllers Through Quantitative Games
  38. Altmetric Badge
    Chapter 37 Taming Delays in Dynamical Systems
Attention for Chapter 30: Symbolic Monitoring Against Specifications Parametric in Time and Data
Altmetric Badge

Mentioned by

twitter
3 X users

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
2 Mendeley