A Semi-Explicit Method to Store State Spaces in a Compact Way

National audienceThe limited amount of memory is the major bottleneck in model checkingtools and algorithms based on an explicit states enumeration. Thus,techniques which allow to represent the states efficiently areprecious for these tools. We present in this work a novel approachwhich enables to store the state space in a compact way. Though itbelongs to the family of explicit storage methods, we qualify it assemi-explicit since states may not be explicitly represented in the statespace. Experiments show that very compact representations areobtained, with an acceptable increase of the run time