The application of adaptive symmetry reduction for LTL model checking
Adaptive symmetry reduction is a technique which exploits the similarity of com- ponents in systems of regular structure.It helps to reduce the effect of state Edibles explosion when exploring reachable states of a system.It assumes the perfect symmetry of states initially and tracks symmetry violations on-the-fly by exploring an extended state spa