No edit summary |
|||
Line 29: | Line 29: | ||
=== Links === | === Links === | ||
==== BMotion Studio for ProB ==== | |||
* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage] | |||
* [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/ BMotion Studio for ProB User Handbook] | |||
* [https://github.com/ladenberger/bmotion-prob BMotion Studio for ProB Sourcecode] | |||
==== ProB 2.0 ==== | |||
* [http://nightly.cobra.cs.uni-duesseldorf.de/prob2/prob2-handbook/nightly/devel/html/ ProB 2.0 Developer Handbook] | |||
* [https://github.com/bendisposto/prob2 ProB 2.0 Sourcecode] | * [https://github.com/bendisposto/prob2 ProB 2.0 Sourcecode] | ||
* [http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/ ProB 2.0 Nightly Build Updatesite] | * [http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/ ProB 2.0 Nightly Build Updatesite] | ||
* [[Tutorial13|ProB 2.0 Tutorial]] | * [[Tutorial13|ProB 2.0 Tutorial]] | ||
=== References === | === References === | ||
<references/> | <references/> |
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.
The full description of the case study can be found here.
The following two links contains executeable visualisations of the model from[1] before and after our fix respectively.
{{#ev:youtube|wFr_pEjbpqo|640}}