ABZ 2014 Case Study

This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track. The full description of the case study can be found here.

Other ProB Live Visualisations

ProB Visualisation of [x] after fix

ProB Live Visualisation (click to join)

ProB BMotion Studio Video

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

Resources

• 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