No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:ABZ 2014 Case Study}} | {{DISPLAYTITLE:ABZ 2014 Case Study}} | ||
__NOTOC__ | __NOTOC__ | ||
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track. | |||
This page | |||
=== BMotion Studio Visualization === | === BMotion Studio Visualization === | ||
| Line 10: | Line 9: | ||
* [[Media:ABZ14_Paper.pdf|Case Study Paper]] | * [[Media:ABZ14_Paper.pdf|Case Study Paper]] | ||
* [[Media:LandingGear.zip|Landing Gear Model EventB Model]] | * [[Media:LandingGear.zip|Landing Gear Model EventB Model]] | ||
=== Links === | |||
* [https://github.com/bendisposto/prob2 ProB 2.0 Sourcecode] | |||
* [http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/ ProB 2.0 Nightly Build Updatesite] | |||
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.
{{#ev:youtube|wFr_pEjbpqo|640}}