Before and after vacuity

DOI10.1007/s10703-008-0060-yzbMath1165.68402OpenAlexW2120702165MaRDI QIDQ1028732

Ofer Strichman, Hana Chockler

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

zbMATH Keywords

complexitymodel-checkingvacuity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Vacuity in practice: temporal antecedent failure ⋮ Timed vacuity

Uses Software

• NuSMV
• CESAR
• VaqTree

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