The B parser of ProB requires Java 7 or newer. Java Runtime Environment or better Java JDK or Adopt JDK, Java Runtime Environment (7.0 or newer) or Adopt JDK, 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. Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.ĭetails of the ProB Licence can be found here. 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).
