Vacuity Checking in the Modal Mu-Calculus*

DOI10.1007/3-540-45719-4_11zbMath1275.68090OpenAlexW1520071402MaRDI QIDQ2996128

C. R. Ramakrishnan, Beata Sarna-Starosta, Yifei Dong, Scott A. Smolka

Publication date: 6 May 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45719-4_11

Mathematics Subject Classification ID

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

Related Items (5)

On the Notion of Vacuous Truth ⋮ Model Repair for Probabilistic Systems ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Vacuity in practice: temporal antecedent failure ⋮ Before and after vacuity

This page was built for publication: Vacuity Checking in the Modal Mu-Calculus*