Bounded Verification of Past LTL-Reference-Cited by-同舟云学术

Bounded Verification of Past LTL

Published:2004 Issue: Volume: Page:245-259
ISSN:0302-9743
Container-title:Formal Methods in Computer-Aided Design
language:
Short-container-title:

Author:

Cimatti Alessandro,Roveri Marco,Sheridan Daniel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30494-4_18

Reference17 articles.

1. Accellera. Accelera Property Specification Language: Reference Manual – Version 1.0

2. Bacchus, F., Kabanza, F.: Control strategies in planning. In: Proceedings of the AAAI Spring Symposium Series on Extending Theories of Action: Formal Theory and Practical Applications, Stanford University, CA, USA, March 1995, pp. 5–10. AAAI Press, Menlo Park (1995)

3. Lecture Notes in Computer Science;M. Benedetti,2003

4. Lecture Notes in Computer Science;A. Biere,1999

5. Castro, J., Kolp, M., Mylopoulos, J.: A requirements-driven development methodology. In: Proceedings of the 13th International Conference on Advanced Information Systems Engineering (2001)

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

1. SAT Meets Tableaux for Linear Temporal Logic Satisfiability;Journal of Automated Reasoning;2024-03-15

2. Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic;The International Journal of Robotics Research;2024-01-24

3. Adapting Specifications for Reactive Controllers;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05

4. Reactive Synthesis of Smart Contract Control Flows;Automated Technology for Verification and Analysis;2023

5. UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis;Computer Aided Verification;2022