"BMotion Studio, a visual editor which enables the developer of a formal model to set-up easily a domain specific visualization for discussing it with the domain expert. BMotion Studio frees the user from writing code and allows to create the visualization on the "look and feel" principle.
BMotion Studio is based on ProB and integrated into the Rigorous Open Development Environment for Complex Systems (RODIN). It supports creating visualizations for Event-B specifications. However, BMotion Studio is open for other formal languages.
Commercial support is provided by the spin-off company Formal Mind"