No edit summary |
(→Links) |
||
| Line 13: | Line 13: | ||
* [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]] | |||
* [[ProB_2.0_within_Rodin_and_a_HTML_Visualization_Example|BMotionStudio Simple Example]] | |||
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.
{{#ev:youtube|wFr_pEjbpqo|640}}