No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
There exists an integration for [[ProB for Rodin | Rodin]]. | There exists an integration for [[ProB for Rodin | Rodin]]. | ||
== Download == | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-download"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion-prob-standalone/releases/ Standalone] | |||
</p> | |||
== Documentation == | == Documentation == | ||
BMotion Studio is a tool built on top of the ProB Java API for creating domain specific visualisations of formal models.
There exists an integration for Rodin.