The Graphical User Interface of ProB Tcl/Tk requires Tcl/Tk 8.5 or 8.6. The B parser of ProB requires Java 8 or newer. MacOS 10.14 (Mojave) or newer, Tcl/Tk ( see below), Java 8 or newer ( see below), Graphviz ( see below) Tcl/Tk 8.5 or 8.6 ( see below), Java 8 or newer ( see below), GraphViz, Windows Installation Instructions Java 8 or newer ( see below), Tcl/Tk 8.5 or 8.6 ( see below), GraphViz 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 EN50128. For commercial support contact Michael Leuschel. The list of changes can be found in the ProB release history.ĭetails of the ProB Licence can be found here. Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB. Below 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).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |