The ProB Animator and Model Checker
  • Components
    • ProB Cli
    • ProB Tcl/Tk
    • ProB Java API
    • BMotionWeb
    • ProB for Rodin
    • ProB for TLA
  • Documentation
    • ProB Tcl/Tk
    • BMotionWeb
    • ProB Java API
  • Download
  • Bugs
  • Links
  • Team
  • Navigation
    • Main Page
    • User Manual
    • Tutorials
    • Developer Manual
    • Benchmarks
    • Licence
    • Logic Calculator
  • Special Pages
    • Recent changes
    • User
      • Log in

Help

ABZ 2014 Case Study

Revision as of 21:44, 12 February 2015 by Lukas Ladenberger (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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
Retrieved from "https://prob.hhu.de/w/index.php?title=ABZ14&oldid=2630"

Contact

Heinrich-Heine-University
Institut für Software und Programmiersprachen
To Website. Datenschutz/Privacy Policy.

Licence

All ProB components and source code
is distributed under the EPL v1.0 license.

Copyright © Heinrich-Heine-University, Institut für Software und Programmiersprachen 2021