No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[Category:Components]] | |||
BMotion Studio enables the developer of a formal model to set-up easily a domain specific visualization. BMotion Studio is based on makes use of the [[ProB Java API]]. At the moment BMotion Studio supports users to create domain specific visualisations for [[Event-B]], [[Classical-B]], [[CSP]] and [[TLA]]. | BMotion Studio enables the developer of a formal model to set-up easily a domain specific visualization. BMotion Studio is based on makes use of the [[ProB Java API]]. At the moment BMotion Studio supports users to create domain specific visualisations for [[Event-B]], [[Classical-B]], [[CSP]] and [[TLA]]. | ||
It exists an integration for [[ProB for Rodin | Rodin]]. | It exists an integration for [[ProB for Rodin | Rodin]]. | ||
BMotion Studio enables the developer of a formal model to set-up easily a domain specific visualization. BMotion Studio is based on makes use of the ProB Java API. At the moment BMotion Studio supports users to create domain specific visualisations for Event-B, Classical-B, CSP and TLA.
It exists an integration for Rodin.