A model checker for verifying ConGolog programs

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2002, Pages 953-954

  Kalantari, Leila ^a   Ternovska, Eugenia ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; INTERFACES (COMPUTER); ROBUSTNESS (CONTROL SYSTEMS);

MODEL CHECKER;

HIGH LEVEL LANGUAGES;

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

References (7)

1. Bergstra, J.; Ponse, A.; and Smolka, S. 2001. Handbook of Process Algebra. Elsevier Science.
2. Clarke Jr., E. M.; Grumberg, O.; and Peled, D. A. 1999. Model Cheking. MIT Press.
3. De Giacomo, G.; Lespérance, Y.; and Levesque, H. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121:109-169.
4. Emerson, I. 1990. Temporal and modal logic. In van Leeuwen, J., ed., Handbook of Theoretical Computer Science. 996-1072.
5. Ramakrishna, Y.; Ramakrishnan, C.; Ramakrishnan, I.; Smolka, S.; Swift, T.; and Warren, D. S. 1997. Efficient model checking using tabled resolution. In Proceedings of the 9th International Conference on Computer-Aided Verification (CAV'97), Lecture Notes in Computer Science. Haifa, Israel: Springer-Verlag.
6. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press.
7. The XSB, a logic programming system developed at the State University of New York at Stony Brook. http://xsb.sourceforge.net.