Simple On-the-fly Automatic Verification of Linear Temporal Logic-Reference-Cited by-同舟云学术

Simple On-the-fly Automatic Verification of Linear Temporal Logic

Published:1996 Issue: Volume: Page:3-18
ISSN:1868-4238
Container-title:Protocol Specification, Testing and Verification XV
language:
Short-container-title:

Author:

Gerth R.,Peled D.,Vardi M. Y.,Wolper P.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-34892-6_1

Reference16 articles.

1. Y. Choueka, Theories of automata on w-Tapes: a simplified approach, Journal of Computer and System Science 8 (1974), 117–141.

2. G. Bhat, R. Cleaveland, O. Grumberg, Efficient on-the-fly model checking for CTL*, Proceedings of the 10th Symposium on Logic in Computer Science, 1995, San Diego, CA, To appear.

3. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L.Dill, J. Hwang, Symbolic model checking: 1020 states and beyond, Information and Computation, 98 (1992), 142–170.

4. C. Courcoubetis, M. Vardi, P. Wolper, M Yannakakis, Memory-efficient algorithms for the verification of temporal properties, Formal methods in system design 1 (1992) 275–288.

5. O. Coudert, C. Berthet, J.C. Madre, Verification of synchronous sequential machines based on symbolic execution, Automatic Verification Methods for Finite State Systems, Grenoble, France, LNCS 407, Springer—Verlag, 1989, 365–373.

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

1. An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification;Proceedings of the ACM on Programming Languages;2024-01-05

2. 3vLTL: A Tool to Generate Automata for Three-valued LTL;Electronic Proceedings in Theoretical Computer Science;2023-11-15

3. Supervised Bayesian specification inference from demonstrations;The International Journal of Robotics Research;2023-10-04

4. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way;ACM Transactions on Software Engineering and Methodology;2023-09-30

5. Linear Temporal Public Announcement Logic: A New Perspective for Reasoning About the Knowledge of Multi-classifiers;Bulletin of the Iranian Mathematical Society;2023-03-07