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

• BMotionWeb Download
• Phonebook Formal Prototype
• CCS Formal Prototype

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