↓ Skip to main content
What is this page? Embed badge

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 A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties
  3. Altmetric Badge
    Chapter 2 Automated Tail Bound Analysis for Probabilistic Recurrence Relations
  4. Altmetric Badge
    Chapter 3 Compositional Probabilistic Model Checking with String Diagrams of MDPs
  5. Altmetric Badge
    Chapter 4 Efficient Sensitivity Analysis for Parametric Robust Markov Chains
  6. Altmetric Badge
    Chapter 5 MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
  7. Altmetric Badge
    Chapter 6 Search and Explore: Symbiotic Policy Synthesis in POMDPs
  8. Altmetric Badge
    Chapter 7 AutoQ : An Automata-Based Quantum Circuit Verifier
  9. Altmetric Badge
    Chapter 8 Bounded Verification for Finite-Field-Blasting
  10. Altmetric Badge
    Chapter 9 Formally Verified EVM Block-Optimizations
  11. Altmetric Badge
    Chapter 10 SR-SFLL: Structurally Robust Stripped Functionality Logic Locking
  12. Altmetric Badge
    Chapter 11 Symbolic Quantum Simulation with Quasimodo
  13. Altmetric Badge
    Chapter 12 Verifying the Verifier: eBPF Range Analysis Verification
  14. Altmetric Badge
    Chapter 13 Automated Verification of Correctness for Masked Arithmetic Programs
  15. Altmetric Badge
    Chapter 14 Automatic Program Instrumentation for Automatic Verification
  16. Altmetric Badge
    Chapter 15 Boolean Abstractions for Realizability Modulo Theories
  17. Altmetric Badge
    Chapter 16 Certified Verification for Algebraic Abstraction
  18. Altmetric Badge
    Chapter 17 Complete Multiparty Session Type Projection with Automata
  19. Altmetric Badge
    Chapter 18 Early Verification of Legal Compliance via Bounded Satisfiability Checking
  20. Altmetric Badge
    Chapter 19 Formula Normalizations in Verification
  21. Altmetric Badge
    Chapter 20 Kratos2: An SMT-Based Model Checker for Imperative Programs
  22. Altmetric Badge
    Chapter 21 Making $$\textsf {IP}=\textsf {PSPACE}$$ IP = PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms
  23. Altmetric Badge
    Chapter 22 Ownership Guided C to Rust Translation
  24. Altmetric Badge
    Chapter 23 R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
8 X users
Summary X
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.
Title
Computer Aided Verification
Published by
Springer Nature Switzerland, August 2023
DOI 10.1007/978-3-031-37709-9
ISBNs
978-3-03-137708-2, 978-3-03-137709-9
Editors

Enea, Constantin, Lal, Akash

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 8 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.