↓ 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 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: Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
Altmetric Badge

Mentioned by

1 X user

Readers on

1 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
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
Book title
Computer Aided Verification
Published by
Springer, Cham, August 2022
DOI 10.1007/978-3-031-13188-2_8
Book ISBNs
978-3-03-113187-5, 978-3-03-113188-2

Li, Yong, Turrini, Andrea, Feng, Weizhi, Vardi, Moshe Y., Zhang, Lijun

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 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%