BMotionWeb: A Tool for Rapid Creation of Formal Prototypes

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).

Links

• BMotionWeb Homepage
• BMotionWeb User Handbook