Dynamic Incremental Hashing in Program Model Checking

Adelson-Velskii, 1962, An algorithm for the organization of information, Doklady Akademii Nauk SSSR, 146, 263 Bérard, 2003 Cohen, 1997, Recursive hashing functions for n-grams, ACM Transactions on Information Systems, 15, 291, 10.1145/256163.256168 Culberson, 1998, Pattern databases, Computational Intelligence, 14, 318, 10.1111/0824-7935.00065 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 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 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 Havelund, K. and T. Pressburger, Model checking Java programs using Java PathFinder, Technical report, NASA Ames Research Center and Recom Technologies (1999) Holzmann, 2004 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 Karp, 1987, Efficient randomized pattern-matching algorithms, IBM Journal of Research and Development, 31, 249, 10.1147/rd.312.0249 Knuth, 1998 Korf, 1985, Depth-first iterative-deepening: An optimal admissible tree search, Artificial Intelligence, 27, 97, 10.1016/0004-3702(85)90084-0 Lehmer, H.D., Mathematical methods in large-scale computing units, in: Symposium on Larg-Scale Digital Calulating Machienery, Cambridge, Massachusetts (1949), pp. 141–146 Lerda, F. and W. Visser, Addressing dynamic issues of program model checking, in: Workshop on Model Checking Software (SPIN), 2001, pp. 80–94 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 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 Mercer, E. and M. Jones, Model checking machine code with the GNU debugger, in: 12th International SPIN Workshop on Model Checking of Software, 2005 Musuvathi, M. and D.L. Dill, An incremental heap canonicalization algorithm, in: Model Checking Software (SPIN), 2005, accepted for Publication 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 Schoening, 1998 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 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 Wolper, P. and D. Leroy, Reliable hashing without collision detection, in: Computer Aided Verification (CAV), 1993, pp. 59–70