Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The additional values of the logic are used to capture the degree of uncertainty. In this paper, we show that the multi-valued μ-calculus model-checking problem is reducible to several classical model-checking problems. The reduction allows one to reuse existing model-checking tools and algorithms to solve multi-valued model-checking problems. This paper generalizes, extends and corrects previous work in this area, done in the context of 3-valued models, symbolic model-checking, and De Morgan algebras. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Gurfinkel, A., & Chechik, M. (2003). Multi-valued model checking via classical model checking. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2761, 266–280. https://doi.org/10.1007/978-3-540-45187-7_18
Mendeley helps you to discover research relevant for your work.