\chiChek: A Model Checker for Multi-Valued Reasoning
Abstract
This paper describes our multi-valued symbolic model-checker XChek. XChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued model-checking supports reasoning with values other than just TRUE and FALSE.
BibTeX
@inproceedings{Easterbrook-al:ICSE03,
author = {Steve M. Easterbrook and
Marsha Chechik and
Benet Devereux and
Arie Gurfinkel and
Albert Y. C. Lai and
Victor Petrovykh and
Anya Tafliovich and
Christopher D. Thompson{-}Walsh},
title = {{\textbackslash}chiChek: A Model Checker for {Multi-Valued} Reasoning},
booktitle = {ICSE},
pages = {804--805},
publisher = {{IEEE} Computer Society},
year = {2003},
}