Efficient Detection of Vacuity in ACTL Formulaas
Abstract elided by the publisher.
Related papers
- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation CAV 2006
- Enhanced Vacuity Detection in Linear Temporal Logic CAV 2003
- An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking CAV 2004
- ACTL ∩ LTL Synthesis CAV 2012
- Performance Heuristics for GR(1) Realizability Checking and Related Analyses TACAS 2025
- Specification synthesis with constrained Horn clauses PLDI 2021
- I/O Efficient Accepting Cycle Detection CAV 2007
- GoGuard: Efficient Static Blocking Bug Detection for Go SAS 2024