On very recent Linux systems (such as Ubuntu 20.04) you may want to download (and compile) or use.
The Graphical User Interface of ProB Tcl/Tk requires Tcl/Tk 8.5 unless stated otherwise. Sometimes you have to install the Java JDK (and not the JRE) so that the new Java version becomes visible to command-line tools. The B parser of ProB requires Java 7 or newer. | OS X 10.9 (Mavericks) or newer, Tcl/Tk (]), Java 7 or newer (]), (]) | colspan='4' style='background-color:lightgrey ' style='height:20px | | colspan='4' style='background-color:lightgrey ' | 1.11.1 In particular, we can provide access to the validation report for using ProB as a tool of class T2 or T3 within the European norm. The list of changes can be found in the ].ĭetails of the ]. Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
You can view and copy the source of this page.īelow are links for downloading the latest stable release of probcli (the command line version of ProB) and ProB Tcl/Tk (ProB with a graphical user interface written in Tcl/Tk).
The action you have requested is limited to users in the group: Users.
