Navigation
Special Pages
- Recent changes

User
- Log in

ProB 2.0 within Rodin and a HTML Visualization Example

Revision as of 08:45, 11 November 2013 by Michael Leuschel (talk | contribs) (→‎Import the Lift Project)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Installing ProB 2.0 from Rodin 2.7 or later

Enter the update site http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/ and install the ProB 2.0 plugin

Obtaining the latest ProB binary

Open a Groovy Console and type upgrade "latest".

Import the Lift ProjectSelect the Rodin "Import…" menu command and import Lift.zip.Start Animating the LiftOpen HTML Visualization

Retrieved from "https://prob.hhu.de/w/index.php?title=ProB_2.0_within_Rodin_and_a_HTML_Visualization_Example&oldid=2020"