UML-B Release History

From Event-B
Jump to navigationJump to search

Version 0.6.0 [for Rodin 1.1.0]

  • Axioms and Invariants can be made into Theorems (theorems almost everywhere)
  • Machines and Contexts have new properties tabs for Classes and ClassTypes (allowing re-ordering for translation)
  • Double click to open diagrams
  • (fix bug in state machine translation of nested final transitions)