ABZ 2014 Case Study

This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.

Live Visualization (click to join)

BMotion Studio Video

{{#ev:youtube|wFr_pEjbpqo|640}}

Ressources

• Case Study Paper
• Landing Gear Model EventB Model

Links

• ProB 2.0 Sourcecode
• ProB 2.0 Nightly Build Updatesite
• ProB 2.0 Tutorial
• BMotionStudio Simple Example