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]]. | ||
== Documentation == | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="fa fa-road"></i> [[BMotion Studio Tutorial | Tutorial]] | |||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="fa fa-user"></i> [[BMotion Studio User Manual | User Manual]] | |||
</p> | |||
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.