Temporal Antecedent Failure: Refining Vacuity

DOI10.1007/978-3-540-74407-8_33MaRDI QIDQ3525657zbMATH OpenOpenAlexFDO

Authors Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_33

zbMATH Keywords

antecedent failuremodel checkingPSLregular expressionsSVAtemporal logicvacuity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Vacuity in practice: temporal antecedent failure
• Enhanced vacuity detection in linear temporal logic.
• scientific article; zbMATH DE number 1487861
• Robust vacuity for branching temporal logic
• Before and after vacuity

Cited in

(7)

• Before and after vacuity
• Vacuity in practice: temporal antecedent failure
• Timed vacuity
• On the Notion of Vacuous Truth
• Correct Hardware Design and Verification Methods
• Monotonicity characterizations of regular languages
• Monotonicity characterizations of regular languages

This page was built for publication: Temporal Antecedent Failure: Refining Vacuity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525657)