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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3476998
بازگشت