"To store or not to store" Reloaded: reclaiming memory on demand

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4346 LNCS, Issue , 2007, Pages 51-66

  Hammer, Moritz ^a   Weber, Michael ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MODEL CHECKING; OPTIMIZATION; STATE SPACE METHODS;

EXPLICIT STATES; MEMORY ON DEMAND; REACHABILITY ANALYSIS; STRATEGICAL STATES;

DATA STORAGE EQUIPMENT;

EID: 36348940928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70952-7_4     Document Type: Conference Paper

References (23)

1. Behrmann, G., Larsen, K.G., Pelánek, R.: To store or not to store. In Jr., W.A.H., Somenzi, F., eds.: CAV. Volume 2725 of Lecture Notes in Computer Science., Springer (2003) 433-445
2. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In Emerson, E.A., Sistla, A.P., eds.: CAV. Volume 1855 of Lecture Notes in Computer Science., Springer (2000) 154-169
3. Bloom, B.H.: Space/time trade-offs in hash coding with allowable errors. Commun. ACM 13(7) (1970) 422-426
4. Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. EASST Newsletter 4 (2002) 13-24
5. Holmén, F., Leucker, M., Lindström, M.: UppDMC - a distributed model checker for fragments of the μμ-calculus. In Brim, L., Leucker, M., eds.: Proc. 3rd PDMC. Volume 128(3) of ENTCS., Elsevier Science Publishers (2004)
6. Holzmann, G.J.: The SPIN model checker: primer and reference manual. Addison-Wesley, Boston, MA 02116 (2003)
7. Wibling, O., Parrow, J., Pears, A.: Automatized verification of ad hoc routing protocols. In: FORTE. Volume 3235 of Lecture Notes in Computer Science., Springer (2004) 343 - 358
8. Kamel, M., Leue, S.: Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. STTT 2(4) (2000) 394-409
9. Pelánek, R.: Evaluation of on-the-fly state space reductions. In: Proc. of Mathematical and Engineering Methods in Computer Science (MEMICS'05). (2005) 121-127
10. Holzmann, G.J.: An analysis of bitstate hashing. Form. Methods Syst. Des. 13(3) (1998) 289-307
11. Dillinger, P.C., Manolios, P.: Fast and accurate bitstate verification for SPIN. In: SPIN. Volume 2989 of LNCS., Springer (2004)
12. Stern, U., Dill, D.L.: Using magnatic disk instead of main memory in the murphi verifier. In: Computer Aided Verification. (1998) 172-183
13. Bao, T., Jones, M.: Time-efficient model checking with magnetic disk. In Halbwachs, N., Zuck, L.D., eds.: TACAS. Volume 3440 of Lecture Notes in Computer Science., Springer (2005) 526-540
14. Eastlake, D.E., Jones, P.E.: US secure hash algorithm 1 (SHA1). Internet informational RFC 3174 (2001)
15. Ziv, J., Lempel, A.: A universal algorithm for sequential data compression. IEEE Transactions on Information Theory 23(3) (1977) 337-343
16. Gailly, J., Adler, M.: zlib data compression library, http://www.zlib.net/ (1995)
17. Weber, M., Schürmans, S.: NIPS virtual machine and compiler implementation, http://www.cwi.nl/~weber/nips/ (2005)
18. Kamel, M., Leue, S.: Formalization and validation of the general inter-orb protocol (giop) using promela and spin. STTT 2(4) (2000) 394-409
19. Knapp, A., Merz, S.: Model Checking and Code Generation for UML State Machines and Collaborations. In: Proc. 5th Wsh. Tools for System Design and Verification, Technical Report 2002-11, Institut für Informatik, Universität Augsburg (2002) 59-64
20. Penna, G.D., Intrigila, B., Tronei, E., Zilli, M.V.: Exploiting transition locality in the disk based murphi verifier. In Springer-Verlag, ed.: Proc. of FMCAD. Volume 2517 of LNCS. (2002) 202-219
21. Stern, U., Dill, D.L.: Parallelizing the Murφ verifier. In Grumberg, O., ed.: Computer-Aided Verification, 9th International Conference. Volume 1254 of LNCS., Springer (1997) 256-267 Haifa, Israel, June 22-25.
22. Edelkamp, S., Jabbar, S.: Accelerating external search with bitstate hashing. In: 19. Workshop on New Results in Planning, Scheduling and Design. (2005)
23. Barnat, J., Brim, L., Černá, I., Šimeček, P.: DiVinE the distributed verification environment. In Leucker, M., van de Pol, J., eds.: 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'05), Lisbon, Portuga (2005)