Hello, Yes, this is a transition that works for a set of instances. At least for...
Names of SM
I think this issue can be removed since I thought that in a refined state-machine...
Predicates separation in Theories
Error while running tool (Automatic Proof Obligation Manager)
SM generation - states not updated
Hello Lauren, I will describe the scenario where it happen. Being in the proving...
Sample: Relation ∈ SETA ↔ SETB It can not be initialized from the diagram like: Relation...