Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b96393zbMath1126.68479OpenAlexW4299869287MaRDI QIDQ5308426

Marsha Chechik, Arie Gurfinkel

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (10)

Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Data structures for symbolic multi-valued model-checking ⋮ On the Notion of Vacuous Truth ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Linear temporal logic symbolic model checking ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Beyond vacuity: towards the strongest passing formula ⋮ Vacuity in practice: temporal antecedent failure ⋮ Timed vacuity ⋮ Before and after vacuity

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems