Temporal Antecedent Failure: Refining Vacuity

DOI10.1007/978-3-540-74407-8_33zbMath1151.68469OpenAlexW1514731943MaRDI QIDQ3525657

Sitvanit Ruah, Dana Fisman, Shoham Ben-David

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

regular expressionsmodel checkingtemporal logicvacuitySVAPSLantecedent failure

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)

Related Items (2)

On the Notion of Vacuous Truth ⋮ Before and after vacuity

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