Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints-Reference-Cited by-同舟云学术

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints

Published:2002 Issue: Volume: Page:100-114
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Pemmasani Giridhar,Ramakrishnan C. R.,Ramakrishnan I. V.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45619-8_8

Reference25 articles.

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.

2. S. Basu, S. A. Smolka, and O. R. Ward. Model checking the Java Meta-Locking algorithm. In Proceedings of 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000), Edinburgh, Scotland, April 2000.

3. Lect Notes Comput Sci;J. Bengtsson,1996

4. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. The MIT Press, 1999.

5. G. Delzanno and S. Etalle. Transforming a proof system into prolog for verifying security protocols. In International Workshop on Logic-based Program Synthesis and Transformation, November 2001.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A General Implementation Framework for Tabled CLP;Functional and Logic Programming;2012

2. XSB: Extending Prolog with Tabled Logic Programming;Theory and Practice of Logic Programming;2011-12-30

3. Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation;Logic for Programming, Artificial Intelligence, and Reasoning;2010

4. Analysis of Linear Hybrid Systems in CLP;Logic-Based Program Synthesis and Transformation;2009

5. Compiling Constraint Handling Rules for Efficient Tabled Evaluation;Practical Aspects of Declarative Languages;2006