DocumentCode
3476998
Title
χChek: A model checker for multi-valued reasoning
Author
Easterbrook, Steve ; Chechik, Marsha ; Devereux, Benet ; Gurfinkel, Arie ; Lai, Albert ; Petrovykh, Victor ; Tafliovich, Anya ; Thompson-Walsh, Christopher
Author_Institution
Dept. of Comput. Sci., Toronto Univ., Ont., Canada
fYear
2003
fDate
3-10 May 2003
Firstpage
804
Lastpage
805
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.
Keywords
Boolean algebra; formal verification; multivalued logic; temporal logic; multivalued reasoning; quasiBoolean algebra; software engineering; symbolic model-checking algorithm; temporal logic; Application software; Engines; Java; Lattices; Logic; Packaging; Performance analysis; Specification languages; Visualization; XML;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2003. Proceedings. 25th International Conference on
ISSN
0270-5257
Print_ISBN
0-7695-1877-X
Type
conf
DOI
10.1109/ICSE.2003.1201295
Filename
1201295
Link To Document