G. Behrmann, K. G. Larsen, and R. Pélanek, To Store or Not to Store, CAV, pp.433-445, 2003.
DOI : 10.1007/978-3-540-45069-6_40

S. C. Blom, J. R. Calamé, B. Lisser, S. Orzan, J. Pang et al., Distributed Analysis with µCRL: A Compendium of Case Studies, TACAS, pp.683-689, 2007.

S. C. Blom and S. Orzan, Distributed state space minimization, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.280-291, 2005.
DOI : 10.1007/s10009-004-0185-2

P. P. Chakrabarti, S. Ghose, A. Acharya, and S. C. De-sarkas, Heuristic search in restricted memory, Artificial Intelligence, vol.41, issue.2, pp.197-222, 1989.
DOI : 10.1016/0004-3702(89)90010-6

E. M. Clarke, O. Grumberg, and D. A. , Peled. Model Checking, 1999.

C. Courcoubetis, M. Y. Vardi, P. Wolper, and M. Yannakakis, Memory-Efficient Algorithms for the Verification of Temporal Properties, FMSD, vol.1, issue.23, pp.275-288, 1992.

G. , D. Penna, B. Intrigila, E. Tronci, and M. Venturini-zilli, Exploiting Transition Locality in the Disk Based Murphi Verifier, FMCAD, volume 2517 of LNCS, pp.202-219, 2002.

S. Edelkamp and S. Jabbar, Real-Time Model Checking on Secondary Storage, MoChArt, pp.68-84, 2007.
DOI : 10.1007/978-3-540-74128-2_5

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 Transfer, vol.2, issue.2-3, pp.247-267, 2004.
DOI : 10.1007/s100090050042

S. Edelkamp, V. Schuppan, D. Bo?na?ki, A. J. Wijs, A. Fehnker et al., Survey on Directed Model Checking, MoChArt, 2009.
DOI : 10.1007/978-3-540-74128-2_11
URL : https://hal.archives-ouvertes.fr/inria-00406552

H. Garavel, . Open, and . Caesar, An Open Software Architecture for Verification, Simulation, and Testing, TACAS, pp.68-84, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, CAV, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

H. Garavel, R. Mateescu, and I. Smarandache, Parallel state space construction for model-checking, SPIN, pp.217-234, 2001.
DOI : 10.1007/3-540-45139-0_14
URL : https://hal.archives-ouvertes.fr/inria-00072247

J. Geldenhuys, State Caching Reconsidered, SPIN, volume 2989 of LNCS, pp.23-38, 2004.
DOI : 10.1007/978-3-540-24732-6_3

P. Godefroid, G. J. Holzmann, and D. Pirottin, State-Space Caching Revisited, FMSD, vol.7, issue.3, pp.227-241, 1995.

P. Godefroid and P. Wolper, Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties, CAV, pp.410-429, 1991.

M. Hammer and M. Weber, ???To Store or Not To Store??? Reloaded: Reclaiming Memory on Demand, FMICS, pp.51-66, 2006.
DOI : 10.1007/978-3-540-70952-7_4

J. L. Hennessy and D. A. Patterson, Computer Architecture: A Quantitative Approach, 2006.

G. J. Holzmann, Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching, IEEE Transactions on Software Engineering, vol.13, issue.6, pp.683-696, 1987.
DOI : 10.1109/TSE.1987.233206

G. J. Holzmann, An Improved Protocol Reachability Analysis Technique. Software -Practice and Experience, pp.137-161, 1988.

C. Jard and T. Jéron, Bounded-memory Agorithms for Verification On-the-fly, CAV, pp.192-202, 1991.

E. Donald and . Knuth, The Art of Computer Programming ? Volume III: Sorting and Searching. Computer Science and Information Processing, 1973.

R. Korf, Depth-first iterative-deepening, Artificial Intelligence, vol.27, issue.1, pp.97-109, 1985.
DOI : 10.1016/0004-3702(85)90084-0

R. Korf, W. Zhang, I. Thayer, and H. Hohwald, Frontier search, Journal of the ACM, vol.52, issue.5, pp.715-748, 2005.
DOI : 10.1145/1089023.1089024

R. Pelánek, Properties of state spaces and their applications, International Journal on Software Tools for Technology Transfer, vol.298, issue.5594, pp.443-454, 2008.
DOI : 10.1007/s10009-008-0070-5

S. Russell, Efficient memory-bounded search methods, ECAI, pp.1-5, 1992.

U. Stern and D. L. Dill, Combining State Space Caching and Hash Compaction, pp.81-90, 1996.

U. Stern and D. L. Dill, A New Scheme for Memory-Efficient Probabilistic Verification, pp.333-348, 1996.
DOI : 10.1007/978-0-387-35079-0_21

E. Tronci, G. Della-penna, B. Intrigila, and M. Venturini-zilli, Exploiting Transition Locality in Automatic Verification, CHARME, pp.259-273, 2001.
DOI : 10.1007/3-540-44798-9_22

E. Tronci, G. Della-penna, B. Intrigila, and M. Venturini-zilli, A Probabilistic Approach to Automatic Verification of Concurrent Systems 32. VLTS. The VLTS Benchmark Suite, APSEC, pp.317-324, 2001.