“…Therefore much effort has been put into the research aiming at minimizing models. The methods include application of cone of influence reduction [1], semantic minimization [19], state information compression [10], abstraction techniques [6,13], partial order reductions [21,22], symmetry reductions [9], compositional techniques for splitting verification tasks [8,1], case-based partition techniques [14,23], and BDD based symbolic techniques for compactly representing transition relations and system states [5,4].…”