Navigation
Special Pages
- Recent changes

User
- Log in

ProB 2.0 within Rodin and a HTML Visualization Example

Revision as of 08:40, 11 November 2013 by Michael Leuschel (talk | contribs) (→‎Obtaining the latest ProB binary)

(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 ProjectStart 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=2016"