XChek: A multi-valued model-checker

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2404, Issue , 2002, Pages 505-509

  Chechik, Marsha ^a   Gurfinkel, Arie ^a   Devereux, Benet ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84937547766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45657-0_41     Document Type: Conference Paper

References (10)

1. G. Bruns and P. Godefroid. “Model Checking Partial State Spaces with 3-Valued Temporal Logics”. In Proceedings of CAV’99, volume 1633 of LNCS, pages 274–287, 1999.
2. G. Bruns and P. Godefroid. “Generalized Model Checking: Reasoning about Partial State Spaces”. In Proceedings of CONCUR’00, volume 877 of LNCS, pages 168–182, August 2000.
3. G. Bruns and P. Godefroid. “Temporal Logic Query-Checking”. In Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science (LICS’01), pages 409–417, 2001.
4. M. Chechik, B. Devereux, and S. Easterbrook. “Implementing a Multi-Valued Symbolic Model-Checker”. In Proceedings of TACAS’01, volume 2031 of LNCS, pages 404–419. Springer, April 2001.
5. M. Chechik, B. Devereux, S. Easterbrook, A. Lai, and V. Petrovykh. “Efficient Multiple-Valued Model-Checking Using Lattice Representations”. In Proceedings of CONCUR’01, volume 2154 of LNCS, pages 451–465. Springer, August 2001.
6. M. Chechik, B. Devereux, S. Easterbrook, and A. Gurfinkel. “Multi-Valued Symbolic Model-Checking”. CSRG Tech Report 448, University of Toronto, October 2001.
7. M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, and S. Easterbrook. “Symbolic Data Structures for Multi-Valued Model-Checking”. CSRG Tech Report 446, University of Toronto, January 2002.
8. M. Dwyer, G. Avrunin, and J. Corbett. “Patterns in Property Specifications for Finite- State Verification”. In Proceedings of 21st International Conference on Software Engineering, May 1999.
9. S. Easterbrook and M. Chechik. “A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints”. In Proceedings of International Conference on Software Engineering (ICSE’01), pages 411–420, May 2001.
10. A. Gurfinkel, B. Devereux, and M. Chechik. “Model Exploration with Temporal Logic Query Checking”. CSRG Technical Report 445, University of Toronto, Department of Computer Science, March 2002.