Jump to content

Help

ProB 2.0 within Rodin and a HTML Visualization Example

Revision as of 08:39, 11 November 2013 by Michael Leuschel (talk | contribs) (Created page with ' == Installing ProB 2.0 from Rodin 2.7 or later == * Enter the update site <tt> http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/</tt> and install the ProB 2.0…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Installing ProB 2.0 from Rodin 2.7 or later

Obtaining the latest ProB binary

Open a groovy console and type upgrade "latest"

Import the Lift Project

Start Animating the Lift

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