FormalPrototyping: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
== Resources == | == Resources == | ||
* [https://www3.hhu.de/stups/prob/index.php/BMotionWeb_Download BMotionWeb Download] | |||
== Live Online Formal Prototypes == | == Live Online Formal Prototypes == | ||
Revision as of 11:34, 9 March 2016
This page provides additional information and resources for the tool paper we have submitted for the SEFM 2016 conference.
Resources
Live Online Formal Prototypes
If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de).