Vacuity detection in temporal model checking
From MaRDI portal
Recommendations
Cited in
(27)- Tightening the contract refinements of a system architecture
- Vacuity in practice: temporal antecedent failure
- Timed vacuity
- Generation of minimum tree-like witnesses for existential CTL
- Extracting unsatisfiable cores for LTL via temporal resolution
- On the complexity of semantic self-minimization
- Analysing sanity of requirements for avionics systems
- Robust vacuity for branching temporal logic
- Inherent vacuity in lattice automata
- Trace diagnostics using temporal implicants
- On the Notion of Vacuous Truth
- Temporal Antecedent Failure: Refining Vacuity
- Complementary Criteria for Testing Temporal Logic Properties
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- scientific article; zbMATH DE number 1903373 (Why is no real title available?)
- Quantitative fair simulation games
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Correct Hardware Design and Verification Methods
- Sanity Checks in Formal Verification
- Enhanced vacuity detection in linear temporal logic.
- Efficient detection of vacuity in temporal model checking
- Repairing real-time requirements
- Operational causality -- necessarily sufficient and sufficiently necessary
- LTL reactive synthesis with a few hints
- From verification to causality-based explications (invited talk)
- Coverage metrics for temporal logic model checking
- Data structures for symbolic multi-valued model-checking
This page was built for publication: Vacuity detection in temporal model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494388)
