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...
Axiom and invariant displayed info in diagrams
Opening a proved proof - prune the proof
SM for relations n to n
Relations can not be initialized
Hello, There are some cases where a refined diagram lose the layout and the file...
Ordering components in the event-b explorer
Possibility of split a model in several event-b projects
Refined CD and SM - mark the inheritance
Automatically images export
One single class diagram (machine & context)
Create methods within context class diagrams
Create Enumeration from class diagrams
Changes not propagated in refined diagrams
Removing project with some diagrams open
Variable created twice
class diagram - name of file
Cleaning files when delete components