scientific article; zbMATH DE number 1487861
From MaRDI portal
Publication:4494388
zbMath0961.68085MaRDI QIDQ4494388
Orna Kupferman, Moshe Y. Vardi
Publication date: 28 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (15)
Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Analysing sanity of requirements for avionics systems ⋮ Coverage metrics for temporal logic model checking ⋮ Tightening the contract refinements of a system architecture ⋮ Data structures for symbolic multi-valued model-checking ⋮ Inherent Vacuity in Lattice Automata ⋮ On the Notion of Vacuous Truth ⋮ Repairing real-time requirements ⋮ Operational causality -- necessarily sufficient and sufficiently necessary ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Quantitative fair simulation games ⋮ Vacuity in practice: temporal antecedent failure ⋮ Timed vacuity ⋮ On the Complexity of Semantic Self-minimization ⋮ Complementary Criteria for Testing Temporal Logic Properties
This page was built for publication:
