Bounded Model Checking for Past LTL-Reference-Cited by-同舟云学术

Bounded Model Checking for Past LTL

Published:2003 Issue: Volume: Page:18-33
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Benedetti Marco,Cimatti Alessandro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36577-X_3

Reference25 articles.

1. P. A. Abdullah, P. Bjesse, and N. Een. Symbolic Reachability Analysis based on SAT-Solvers. In Sixth Int.nl Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’00), 2000.

2. F. Bacchus and F. Kabanza. Control Strategies in Planning. In Proc. of the AAAI Spring Symposium Series on Extending Theories of Action: Formal Theory and Practical Applications, pages 5–10, Stanford University, CA, USA, March 1995.

3. J. Baumgartner, A. Kuehlmann, and J. Abraham. Property Checking via Structural Analysis. In Proc. CAV’02, volume 2404, pages 151–165, 2002.

4. Technical Report;M. Benedetti,2003

5. Lect Notes Comput Sci;A. Biere,1999

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

1. Pardinus: A Temporal Relational Model Finder;Journal of Automated Reasoning;2022-09-12

2. A Bounded Semantics for Improving the Efficiency of Bounded Model Checking;2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS);2022-03

3. Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers;Software Testing, Verification and Reliability;2021-08-19

4. Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems;Reliability Engineering & System Safety;2021-01

5. From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle;Model Checking, Synthesis, and Learning;2021