TLQSolver: A temporal logic query checker

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

Volumn 2725, Issue , 2003, Pages 210-214

  Chechik, Marsha ^a   Gurfinkel, Arie ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248858427     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45069-6_21     Document Type: Article

References (7)

1. G. Bruns and P. Godefroid. "Temporal Logic Query-Checking". In Proceedings of LICS'01, pages 409-417, Boston, MA, USA, June 2001.
2. William Chan. "Temporal-Logic Queries". In Proceedings of CAV'00, volume 1855 of LNCS, pages 450-463, Chicago, IL, USA, July 2000. Springer.
3. M. Chechik, B. Devereux, and A. Gurfinkel. "χChek: A Multi-Valued Model-Checker". In Proceedings of CAV'02, volume 2404 of LNCS, July 2002.
4. A. Gurfinkel and M. Chechik. "Proof-like Counter-Examples". In Proceedings of TACAS'03, April 2003. To appear.
5. A. Gurfinkel and M. Chechik. "Temporal Logic Query Checking through Multi-Valued Model Checking". CSRG Technical Report 457, University of Toronto, Department of Computer Science, January 2003.
6. A. Gurfinkel, B. Devereux, and M. Chechik. "Model Exploration with Temporal Logic Query Checking". In Proceedings of FSE'02, November 2002.
7. S. Hornus and Ph. Schnoebelen. On solving temporal logic queries. In Proceedings of AMAST'2002, volume 2422 of LNCS, pages 163-177. Springer, 2002.