Before and after vacuity
From MaRDI portal
Publication:1028732
DOI10.1007/s10703-008-0060-yzbMath1165.68402OpenAlexW2120702165MaRDI QIDQ1028732
Publication date: 6 July 2009
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-008-0060-y
Related Items (3)
Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Vacuity in practice: temporal antecedent failure ⋮ Timed vacuity
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fixed-parameter tractability and completeness II: On completeness for W[1]
- The complexity of optimization problems
- Approximation algorithms for combinatorial problems
- Reasoning about infinite computations
- NuSMV: A new symbolic model checker
- Vacuity Checking in the Modal Mu-Calculus*
- Temporal Antecedent Failure: Refining Vacuity
- Finding State Solutions to Temporal Logic Queries
- On the complexity of unique solutions
- The complexity of propositional linear temporal logics
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- A practical decision method for propositional dynamic logic (Preliminary Report)
- Formal Methods in Computer-Aided Design
- Correct Hardware Design and Verification Methods
- Sanity Checks in Formal Verification
- Correct Hardware Design and Verification Methods
- Computer Aided Verification
- Efficient detection of vacuity in temporal model checking
This page was built for publication: Before and after vacuity
