Balancing On-the-fly Generation and Pre-generation of State Space
T. Poch · 2008
Abstract. State space generation is a technique often used in software verification. Unfortunately, state spaces of non-trivial systems are often huge. On-the-fly state space generation is a well-known technique which is able to manage larger state spaces than explicit in-memory representation. The drawback is the speed of the state space generation. This paper presents motivation and early ideas on merging the on-the-fly strategy with the pre-generated explicit in-memory representation.