Mastering the Visualization of Larger State Spaces with Projection Diagrams

Revision as of 14:31, 30 April 2015 by Lukas Ladenberger (talk | contribs) (Created page with '{{DISPLAYTITLE:Mastering the Visualization of Larger State Spaces with Projection Diagrams}} __NOTOC__ This page provides additional resources for the paper we have submitted for…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


This page provides additional resources for the paper we have submitted for the ICFEM 2015.

ProB Live Visualisations

We have prepared two interactive live visualizations. One of the Event-B model of the landing gear system (the full description of the case study can be found here) and one of the Event-B model of a simple lift system.

The visualizations can either be controlled by interacting with the displayed elements (i.e., clicking the handle) or using the Events view which can be opened using the "Open View" menu at the bottom right corner.

  1. Visualization of the landing gear system
  2. Visualization of the simple lift

Links

BMotion Studio for ProB

ProB 2.0

References