Directed Model Checking with Distance-Preserving Abstractions-Reference-Cited by-同舟云学术

Directed Model Checking with Distance-Preserving Abstractions

Published:2006 Issue: Volume: Page:19-34
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Dräger Klaus,Finkbeiner Bernd,Podelski Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11691617_2

Reference20 articles.

1. Lecture Notes in Computer Science;G. Behrmann,2001

2. Bloem, R., Ravi, K., Somenzi, F.: Symbolic guided search for CTL model checking. In: Design Automation Conference, pp. 29–34 (2000)

3. Dierks, H.: Comparing model checking and logical reasoning for real-time systems. Formal Aspects of Computing 16(2), 104–120 (2004)

4. Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking in the validation of communication protocols. Software Tools for Technology Transfer (2003)

5. Edelkamp, S., Lluch-Lafuente, A.: Abstraction databases in theory and model checking. In: Proc. ICAPS Workshop on Connecting Planning Theory with Practice (June 2004)

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

1. Star-Topology Decoupling in SPIN;Model Checking Software;2018

2. Downward pattern refinement for timed automata;International Journal on Software Tools for Technology Transfer;2014-09-04

3. Merge-and-Shrink Abstraction;Journal of the ACM;2014-05

4. Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning;KI 2013: Advances in Artificial Intelligence;2013

5. Directed Model Checking for B: An Evaluation and New Techniques;Lecture Notes in Computer Science;2011