Partial-order reduction and trail improvement in directed model checking-Reference-Cited by-同舟云学术

Partial-order reduction and trail improvement in directed model checking

Published:2004-08 Issue:4 Volume:6 Page:277-301
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Edelkamp Stefan,Leue Stefan,Lluch-Lafuente Alberto

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-004-0151-z.pdf

Reference58 articles.

1. Alur R, Brayton R, Henzinger T, Qaderer S, Rajamani S (1997) Partial-order reduction in symbolic state space exploration. In: 9th conference on computer-aided verification (CAV). Lecture notes in computer science, vol 1254. Springer, Berlin Heidelberg New York, pp 340–351

2. Ball T, Naik M, Rajamani S (2003) From sympton to cause: Localizing errors in counterexample traces. In: 30th annual ACM symposium on principles of programming languages (POPL)

3. Ball T, Rajamani SK (2001) Automatically validating temporal safety properties of interfaces. In: 7th international SPIN workshop on software model checking. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York, pp 103–122

4. Behrmann G, Fehnker A, Hune T, Larsen KG, Petterson P, Romijn J (2001) Guiding and cost-imality in UPPAAL. In: AAAI spring symposium on model-based validation of intelligence, pp 66–74

5. Behrmann G, Fehnker A, Hune T, Larsen KG, Petterson P, Romijn J, Vaandrager FW (2001) Efficient guiding towards cost-imality in uppaal. In: Conference on tools and algorithms for the construction and analysis of systems (TACAS). Lecture notes in computer science, vol 2031. Springer, Berlin Heidelberg New York

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

1. Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search;Journal of Artificial Intelligence Research;2019-07-17

2. Star-topology decoupled state space search;Artificial Intelligence;2018-04

3. Bibliography;Heuristic Search;2012

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

5. Context-Enhanced Directed Model Checking;Model Checking Software;2010