I/O efficient directed model checking

Lecture Notes in Computer Science

Volumn 3385, Issue , 2005, Pages 313-329

  Jabbar, Shahid ^a   Edelkamp, Stefan ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STORAGE EQUIPMENT; ERROR DETECTION; GRAPH THEORY; HEURISTIC METHODS; STATE SPACE METHODS;

MODEL CHECKING; SEARCHING ALGORITHMS; SEARCHING TECHNIQUES; SYNTAX;

PROBLEM SOLVING;

EID: 24144456517     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30579-8_21     Document Type: Conference Paper

References (25)

1. B. Bérard, A. F. M. Bidoit, F. Laroussine, A. Petit, L. Petrucci, P. Schoenebelen, and P. McKenzie. Systems and Software Verification. Springer, 2001.
2. J. R. Burch, E. M.Clarke, K. L. McMillian, and J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2): 142-170, 1992.
3. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
4. E.W. Dijkstra. A note on two problems in connection with graphs. Numerische Mathematik, 1:269-271, 1959.
5. S. Edelkamp, S. Jabbar, and S. Schroedl. External A*. In German Conference on Artificial Intelligence (KI), pages 226-240, 2004.
6. S. Edelkamp, S. Leue, and A. Lluch-Lafuente. Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology (STTT), 2004.
7. S. Edelkamp and F. Reffel. OBDDs in heuristic search. In German Conference on Artificial Intelligence (KI), pages 81-92, 1998.
8. S. Edelkamp and S. Schrödl. Localizing A*. In National Conference on Artificial Intelligence (AAAI), pages 885-890, 2000.
9. P. E. Hart, N. J. Nilsson, and B. Raphael. A formal basis for heuristic determination of minimum path cost. IEEE Transactions on on Systems Science and Cybernetics, 4:100-107, 1968.
10. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1990.
11. R. M. Jensen, R. E. Bryant, and M. M. Veloso. SetA*: An efficient BDD-based heuristic search algorithm. In National Conference on Artificial Intelligence (AAAI), 2002.
12. M. Kamel and S. Leue. Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. International Journal on Software Tools for Technology Transfer, 2(4):394-409, 2000.
13. R. Korf. Best-first frontier search with delayed duplicate detection. In National Conference on Artificial Intelligence (AAAI), pages 650-657, 2004.
14. R. E. Korf. Breadth-first frontier search with delayed duplicate detection. In Workshop on Model Checking and Artificial Intelligence (MoChArt), pages 87-92, 2003.
15. A. Lluch-Lafuente. Symmetry reduction and heuristic search for error detection in model checking. In Model Checking and Artificial Intelligence (MoChArt-03), 2003.
16. A. Lluch-Lafuente, S. Leue, and S. Edelkamp. Partial order reduction in directed model checking. In Workshop on Model Checking Software (SPIN), pages 112-127, 2002.
17. K. Mehlhorn and U. Meyer. External-memory breadth-first search with sublinear I/O. In European Symposium on Algorithms (ESA), pages 723-735, 2002.
18. U. Meyer, P. Sanders, and J. Sibeyn. Memory Hierarchies. Springer, 2003.
19. K. Munagala and A. Ranade. I/O-complexity of graph algorithms. In Symposium on Discrete Algorithms (SODA), pages 87-88, 2001.
20. D. Sawatzki. Experimental studies of symbolic shortest-path algorithms. In Workshop on Algorithm Engineering (WAE), pages 482-497, 2004.
21. D. Sawatzki. A symbolic approach to the all-pairs shortest-paths problem. In Workshop on Algorithm Engineering (WAE), pages 482-497, 2004.
22. J. F. Sibeyn. External matrix multiplication and all-pairs shortest path. Information Processing Letters, 91(2):99-106, 2004.
23. U. Stern and D. Dill. Using magnetic disk instead of main memory in the murphi verifier. In International Conference on Computer Aided Verification (CAV), pages 172-183, 1998.
24. R. Zhou and E. Hansen. Breadth-first heuristic search. In International Conference on Automated Planning and Scheduling (ICAPS), pages 92-100, 2004.
25. R. Zhou and E. Hansen. Structured duplicate detection in external-memory graph search. In National Conference on Artificial Intelligence (AAAI), pages 683-689, 2004.