An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Abstract elided by the publisher.
Related papers
- A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics CPP 2016
- Efficient Detection of Vacuity in ACTL Formulaas CAV 1997
- A Logical Treatment of Finite Automata TACAS 2024
- Gradual Consistency Checking CAV 2019
- cake_lpr: Verified Propagation Redundancy Checking in CakeML TACAS 2021
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation CAV 2006
- Enhanced Vacuity Detection in Linear Temporal Logic CAV 2003