χChek: A model checker for multi-valued reasoning

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 804-805

  Easterbrook, Steve ^a   Chechik, Marsha ^a   Devereux, Benet ^a   Gurfinkel, Arie ^a   Lai, Albert ^a   Petrovykh, Victor ^a   Tafliovich, Anya ^a   Thompson Walsh, Christopher ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; SOFTWARE ENGINEERING; XML;

MODEL CHECKER; MULTI-VALUED REASONING;

MANY VALUED LOGICS;

EID: 0038600732     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. G. Bruns and P. Godefroid. "Generalized Model Checking: Reasoning about Partial State Spaces". In C. Palamidessi, editor, Proc. 11th Int. Conf. on Concurrency Theory (CONCUR'00), volume 1877 of LNCS, pp. 168-182, University Park, PA, USA, Aug 2000. Springer.
2. W. Chan. "Temporal-Logic Queries". In E. Emerson and A. Sistla, editors, Proc. 12th Conf. on Computer Aided Verification (CAV'00), volume 1855 of LNCS, pp 450-463, Chicago, IL, USA, July 2000. Springer.
3. M. Chechik, B. Devereux, S. Easterbrook, and A. Gurfinkel. "Multi-Valued Symbolic Model-Checking". ACM Trans. on Software Engineering and Methodology, Jan 2003. (Accepted for publication).
4. M. Chechik, B. Devereux, S. Easterbrook, A. Lai, and V. Petrovykh. "Efficient Multiple-Valued Model-Checking Using Lattice Representations". In Proc. 12th Int. Conf. on Concurrency Theory (CONCUR'01), volume 2154 of LNCS, pp 451-465, Aalborg, Denmark, Aug 2001. Springer.
5. M. Chechik and W. Ding. "Lightweight Reasoning about Program Correctness". Information Systems Frontiers, 4(4), Nov 2002.
6. S. Easterbrook and M. Chechik. "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints". In Proc. Int. Conf. on Software Engineering (ICSE'01), pp 411-420, Toronto, Canada, May 2001. IEEE CS Press.
7. A. Gurfinkel. "Multi-Valued Symbolic Model-Checking: Fairness, Counter-Examples, Running Time". Master's thesis, U. of Toronto, Dept. of Computer Science, Oct 2002.
8. A. Gurfinkel, B. Devereux, and M. Chechik. "Model Exploration with Temporal Logic Query Checking". In Proc. SIGSOFT Conf. on Foundations of Software Engineering (FSE'02), pp 139-148, Charleston, SC, Nov 2002.
9. H. Rasiowa. An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1978.
10. M. Sagiv, T. Reps, and R. Wilhelm. "Parametric Shape Analysis via 3-Valued Logic". In Proc. 26th Annual ACM Symp. on Principles of Programming Languages, pp 105-118, New York, NY, 1999.