|
|
2003:
- S. M. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh, A. Tafliovich, and C. Thompson-Walsh.
``XChek: A Model Checker for Multi-Valued Reasoning'', in Proceedings, 25th International Conference on Software Engineering, Portland, Oregon, May, 2003
PS
PDF
Abstract
2001:
- M. Chechik, S. Easterbrook and V. Petrovykh.
``Model-Checking Over Multi-Valued Logics'', in Proceedings of Formal Methods Europe (FME'01), pp. 72-98, March, 2001
PS
PDF
Abstract
- M. Chechik, B. Devereux, S. Easterbrook, A. Lai, and V. Petrovykh.
``Efficient Multiple-Valued Model-Checking Using Lattice Representations'', in Proceedings of 12th International Conference on Concurrency Theory (CONCUR'01), Aalborg, Denmark, pp. 451-465, August, 2001
PS
PDF
Abstract
previous:
- M. Chechik, S. Easterbrook, B. Devereux, A. Lai, V. Petrovykh and C. Thompson-Walsh.
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints -- Project Report, CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2000
PS
PDF
Abstract
|
