On partitioning and model checking


State space partitioning-based approaches have been proposed in the literature to address the state-space explosion problem in model checking. These approaches, whether sequential or distributed, perform a large amount of work in the form of inter-partition (crossover) image computations, which can be expensive. We present a model checking algorithm that… (More)

3 Figures and Tables


  • Presentations referencing similar topics