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.
0 kommentar(er)
