Conclusions
}The traditional way of
verifying a model demands multiplication of FSMs, which leads to bigger state
spaces
}Using interactive FSMs
and based on an asynchronous change of signals, we escape the boundaries of a
monolithic FSM and avoid state explosion.
}The state space of the
formal analysis in our example was reduced by almost 55%
12
CE-653 - MSFSM Intuitive
Example