Question

Hi ............ the main explosion of the states ....​

Answer 1

Please make the question clear. Your question is not clear about what you are looking for

HOPE YOU WILL UNDERSTAND

Answer 2

Model checking is an automatic verification technique for hardware and software system that are finite state or have finite state abstraction . It has been used successfully to verify computer hardware , and it is beginning to be used to verify computer softwares as well . As the number of state variable system in the screen , the size on the system state space grows experiential.