BMotion Studio: Difference between revisions

Revision as of 11:06, 30 October 2014

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.

Revision as of 11:03, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary ← Older edit		Revision as of 11:06, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	BMotion Studio ~~Landing Page~~		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]].