We do not provide native builds for ARM yet, but ARM-based Macs (Apple Silicon) can run ProB via emulation (Rosetta 2). The last version built for x86 (32-bit Intel) is ProB 1.8.0 (see prior versions). More details are available below.Īll releases include the command-line version probcli which does not require Tcl/Tk.Īll releases are compiled for the x86_64 architecture (64-bit Intel). The Graphical User Interface of ProB Tcl/Tk requires Tcl/Tk 8.5 unless stated otherwise. The B parser of ProB requires Java 7 or newer. MacOS 10.14 (Mojave) or newer, Tcl/Tk ( see below), Java 7 or newer ( see below), Graphviz ( see below)
Mac os 8.6 development windows#
Tcl/Tk 8.5 or 8.6 ( see below), Java 7 or newer ( for Oracle's Java 17 read instructions below), GraphViz, Windows Installation Instructions Java 7 or newer ( see below), Tcl/Tk 8.5 ( 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 kommentar(er)
