Dynamic incremental hashing in program model checking

Electronic Notes in Theoretical Computer Science

Volumn 149, Issue 2, 2006, Pages 51-69

  Mehler, Tilman ^a   Edelkamp, Stefan ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Hashing; Model checking; State space search

Indexed keywords

MATHEMATICAL MODELS; ONLINE SEARCHING; SOFTWARE ENGINEERING; STORAGE ALLOCATION (COMPUTER);

INCREMENTAL HASHING; LARGE STATE DESCRIPTION; PROGRAM MODEL CHECKING;

COMPUTER SOFTWARE;

EID: 31644443874     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.07.026     Document Type: Conference Paper

References (24)

1. G.M. Adelson-Velskii, and E.M. Landis An algorithm for the organization of information Doklady Akademii Nauk SSSR 146 1962 263 266
2. B. Bérard, A.F.M. Bidoit, F. Laroussine, A. Petit, L. Petrucci, P. Schoenebelen, and P. McKenzie Systems and Software Verification 2003 Springer
3. J.D. Cohen Recursive hashing functions for n-grams ACM Transactions on Information Systems 15 1997 291 320
4. J.C. Culberson, and J. Schaeffer Pattern databases Computational Intelligence 14 1998 318 334
5. Edelkamp, S. and A. Lluch-Lafuente, Abstraction in directed model checking, in: Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling (ICAPS), 2004, pp. 7-13
6. Edelkamp, S. and T. Mehler, Incremental hashing in state space search, in: 18th Workshop on New Results in Planning, Scheduling and Design (PUK), 2004, pp. 15-29
7. Edelkamp, S. and T. Mehler, Incremental hashing for pattern databases, in: Poster Proceedings of International Conference on Automated Planning and Scheduling (ICAPS), 2005, to appear
8. Havelund, K. and T. Pressburger, Model checking Java programs using Java PathFinder, Technical report, NASA Ames Research Center and Recom Technologies (1999)
9. G. Holzmann The Spin Model Checker: Primer and Reference Manual 2004 Addison-Wesley
10. Holzmann, G.J., An analysis of bitstate hashing, in: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV (1996), pp. 301-314
11. R.M. Karp, and M.O. Rabin Efficient randomized pattern-matching algorithms IBM Journal of Research and Development 31 1987 249 260
12. D. Knuth The Art of Computer Progarmming - Vol.3: sorting and searching 2nd edition 1998 Addison-Wesley
13. R.E. Korf Depth-first iterative-deepening: An optimal admissible tree search Artificial Intelligence 27 1985 97 109
14. Lehmer, H.D., Mathematical methods in large-scale computing units, in: Symposium on Larg-Scale Digital Calulating Machienery, Cambridge, Massachusetts (1949), pp. 141-146
15. Lerda, F. and W. Visser, Addressing dynamic issues of program model checking, in: Workshop on Model Checking Software (SPIN), 2001, pp. 80-94
16. Leven, P., T. Mehler and S. Edelkamp, Directed error detection in c++ with the assembly-level model checker StEAM, in: Workshop on Model Checking Software (SPIN), 2003, pp. 39-56
17. Leven, P., T. Mehler and S. Edelkamp, Directed error detection in C++ with the assembly-level model checker StEAM, in: Model Checking Software (SPIN), 2004, pp. 39-56
18. Mercer, E. and M. Jones, Model checking machine code with the GNU debugger, in: 12th International SPIN Workshop on Model Checking of Software, 2005
19. Musuvathi, M. and D.L. Dill, An incremental heap canonicalization algorithm, in: Model Checking Software (SPIN), 2005, accepted for Publication
20. Qian, K. and A. Nymeyer, Guided invariant model checking based on abstraction and symbolic pattern databases, in: Symposium on Theoretical Aspects of Computer Science (TACAS), 2004, pp. 497-511
21. U. Schoening Algorithmen - kurzgefasst, Kapitel: Algebraische und Zahlentheoretische Algorithmen 1998 Spektrum Verlag
22. Stern, U. and D.L. Dill, Combining state space caching and hash compaction, in: Methoden des Entwurfs und der Verifikation digitaler Systeme, 4. GI/ITG/GME Workshop (1996), pp. 81-90
23. Visser, W., K. Havelund, G. Brat and S. Park, Java PathFinder - second generation of a Java model checker, in: Post-CAV Workshop on Advances in Verification, (WAVe), 2000
24. Wolper, P. and D. Leroy, Reliable hashing without collision detection, in: Computer Aided Verification (CAV), 1993, pp. 59-70