m (moved Installation to User Manual:Installation) |
No edit summary |
||
Line 14: | Line 14: | ||
examples lib prob | examples lib prob | ||
StartProB.sh tcl | StartProB.sh tcl | ||
On Windows, you will also have a subfolder called "Microsoft.VC80.CRT" containing the DLLs for the C runtime. | |||
* Be sure that you have Tcl/Tk installed (see, e.g., http://www.tcl.tk/software/tcltk/). With the latest version of ProB you have to install Tcl/Tk version 8.4 (for some versions of ProB even 8.5)! For Windows you can find a correct version of Tcl/Tk at http://downloads.activestate.com/ActiveTcl/Windows/8.4.19/ The Mac version needs Tcl/Tk 8.5 or higher (http://www.tcl.tk/software/tcltk/8.5.html/). | * Be sure that you have Tcl/Tk installed (see, e.g., http://www.tcl.tk/software/tcltk/). With the latest version of ProB you have to install Tcl/Tk version 8.4 (for some versions of ProB even 8.5)! For Windows you can find a correct version of Tcl/Tk at http://downloads.activestate.com/ActiveTcl/Windows/8.4.19/ The Mac version needs Tcl/Tk 8.5 or higher (http://www.tcl.tk/software/tcltk/8.5.html/). | ||
* To load your own B machines you also need Java runtime installed (http://java.sun.com/j2se/index.jsp or directly to http://java.sun.com/javase/downloads/index.jsp to download the standard edition 5.0; on Mac and Linux Java is probably already installed). | * To load your own B machines you also need Java runtime installed (http://java.sun.com/j2se/index.jsp or directly to http://java.sun.com/javase/downloads/index.jsp to download the standard edition 5.0; on Mac and Linux Java is probably already installed). | ||
Line 24: | Line 25: | ||
* Java: be sure to have Java 1.5 or newer installed. Otherwise you will not be able to parse your own classical B machines, as our parser is written in Java. | * Java: be sure to have Java 1.5 or newer installed. Otherwise you will not be able to parse your own classical B machines, as our parser is written in Java. | ||
* Tcl/Tk: be sure to have a suitable version of TclTk installed. In general you should install at least 8.4. | * Tcl/Tk: be sure to have a suitable version of TclTk installed. In general you should install at least 8.4.14 in general, and at least 8.5 on the Mac. | ||
* GraphViz: in order to make use of the graphical visualisation features, you need to install a version of GraphViz suitable for your architecture. Then use the command "Graphical Viewer Preferences..." in the Preferences Menu to set or check the following preferences: | * GraphViz: in order to make use of the graphical visualisation features, you need to install a version of GraphViz suitable for your architecture. Then use the command "Graphical Viewer Preferences..." in the Preferences Menu to set or check the following preferences: | ||
** Path/Command for dot program | ** Path/Command for dot program | ||
** Path/Command for dot viewer (e.g., dotty) | ** Path/Command for dot viewer (e.g., dotty) | ||
Note: you can use the "Pick" button to locate the dot program and the dot viewer. | |||
See more information about the [User Manual:Graphical Viewer|Graphical Viewer here]. | |||
== Installation Instruction for ProB (Rodin Plugin) == | == Installation Instruction for ProB (Rodin Plugin) == |
The standalone version Tcl/Tk of ProB contains a richer set of features than the Rodin version and also works on other formalisms than Event-B (e.g., classical B, Z, CSP, B||CSP, Promela, ...). If you want to do animation and model checking of Event-B models, the Rodin version might be enough. The Rodin version contains a translation tool from Rodin into Event-B package files that can be used within the standalone version of ProB. Use the probcli version if you want to write batch scripts or prefer working from the command-line.
examples lib prob StartProB.sh tcl
On Windows, you will also have a subfolder called "Microsoft.VC80.CRT" containing the DLLs for the C runtime.
Note: you can use the "Pick" button to locate the dot program and the dot viewer. See more information about the [User Manual:Graphical Viewer|Graphical Viewer here].
The interactive movie shows hot to install the ProB Rodin Plugin.
<swf width="800" height="600">Install.swf</swf>