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

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 PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
  3. Altmetric Badge
    Chapter 2 Sampling-Based Verification of CTMCs with Uncertain Rates
  4. Altmetric Badge
    Chapter 3 Playing Against Fair Adversaries in Stochastic Games with Total Rewards
  5. Altmetric Badge
    Chapter 4 Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
  6. Altmetric Badge
    Chapter 5 Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
  7. Altmetric Badge
    Chapter 6 FORQ-Based Language Inclusion Formal Testing
  8. Altmetric Badge
    Chapter 7 Sound Automation of Magic Wands
  9. Altmetric Badge
    Chapter 10 Complementing Büchi Automata with Ranker
  10. Altmetric Badge
    Chapter 11 Even Faster Conflicts and Lazier Reductions for String Solvers
  11. Altmetric Badge
    Chapter 13 Reasoning About Data Trees Using CHCs
  12. Altmetric Badge
    Chapter 14 Verified Erasure Correction in Coq with MathComp and VST
  13. Altmetric Badge
    Chapter 15 End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers
  14. Altmetric Badge
    Chapter 16 Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
  15. Altmetric Badge
    Chapter 17 Specification-Guided Learning of Nash Equilibria with High Social Welfare
  16. Altmetric Badge
    Chapter 18 Synthesizing Fair Decision Trees via Iterative Constraint Solving
  17. Altmetric Badge
    Chapter 20 Verifying Fairness in Quantum Machine Learning
  18. Altmetric Badge
    Chapter 21 MoGym: Using Formal Models for Training and Verifying Decision-making Agents
  19. Altmetric Badge
    Chapter 22 Synthesis and Analysis of Petri Nets from Causal Specifications
  20. Altmetric Badge
    Chapter 23 Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
  21. Altmetric Badge
    Chapter 24 Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET
  22. Altmetric Badge
    Chapter 25 Information Flow Guided Synthesis
  23. Altmetric Badge
    Chapter 26 Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Attention for Chapter 14: Verified Erasure Correction in Coq with MathComp and VST
Altmetric Badge
Summary
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
Verified Erasure Correction in Coq with MathComp and VST
Chapter number 14
Book title
Computer Aided Verification
Published by
Springer, Cham, August 2022
DOI 10.1007/978-3-031-13188-2_14
Book ISBNs
978-3-03-113187-5, 978-3-03-113188-2
Authors

Cohen, Joshua M., Wang, Qinshi, Appel, Andrew W.

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.