7/11/2023 0 Comments Java old version s downloadJava 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).
0 Comments
Leave a Reply. |