I would like to be able to force a transition as soon as a condition becomes true. For example in this Example, I would like to force the transition from the sy
In the context of bounded model checking, one describes the system as a State Transition System and the properties that need to be checked. When one needs to p