No edit summary |
|||
| Line 8: | Line 8: | ||
* [https://www3.hhu.de/stups/prob/index.php/BMotionWeb_Download BMotionWeb Download] | * [https://www3.hhu.de/stups/prob/index.php/BMotionWeb_Download BMotionWeb Download] | ||
* [[Media:Phonebook.Formal.Prototype.zip|Phonebook Formal Prototype]] | * [[Media:Phonebook.Formal.Prototype.zip|Phonebook Formal Prototype]] | ||
* [[Media:CCS.Formal.Prototype.zip|CCS Formal Prototype]] | * Cruise Control [[Media:CCS.Formal.Prototype.zip|CCS Formal Prototype]] | ||
== Live Online Formal Prototypes == | == Live Online Formal Prototypes == | ||
This page provides additional information and resources for the tool paper we have submitted for the SEFM 2016 conference.
If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de).
Start off by downloading BMotionWeb for your operating system. You can find the latest version of the tool at
Decompress the archive and expand the directory if necessary. Navigate to the application folder and start BMotionWeb by executing the bmotion-prob binary.
Start off by downloading a formal prototype from this wiki page. Decompress the archive and expand the directory if necessary. To open a formal prototype, click on the box in the middle of the window and select the BMotionWeb manifest file (.json file) of the formal prototype or just drag and drop the manifest file into the box. You can also open a formal prototype via the top menu: File > Open Visualization. For instance, to load the phonebook or CCS formal prototype select the phonebook.json or ccs.json file respectively.