No edit summary |
|||
| Line 7: | Line 7: | ||
* [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: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).