The following pages link to (Q4494388):
Displaying 15 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Analysing sanity of requirements for avionics systems (Q282095) (← links)
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Coverage metrics for temporal logic model checking (Q853721) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Tightening the contract refinements of a system architecture (Q1654565) (← links)
- Vacuity in practice: temporal antecedent failure (Q2018060) (← links)
- Timed vacuity (Q2024362) (← links)
- On the complexity of semantic self-minimization (Q2810966) (← links)
- Inherent Vacuity in Lattice Automata (Q2947173) (← links)
- On the Notion of Vacuous Truth (Q3498452) (← links)
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- Repairing real-time requirements (Q6160924) (← links)
- LTL reactive synthesis with a few hints (Q6536136) (← links)