ProB-Timed-CSP

The extension of ProB for Timed-CSP is developed at Swansea University (UK).

 NameLast modifiedSizeDescription

 Parent Directory   - ProB Release Folder
 header.html~ 26-Sep-2016 09:02 24 ProB Release Folder
 older_versions/ 26-Sep-2016 09:02 - ProB Release Folder
[   ]prob_bin_linux_64.zip 26-Sep-2016 09:02 8.9MProB Release Folder
[   ]prob_bin_macosx.zip 26-Sep-2016 09:02 10MProB Release Folder
[   ]prob_bin_windows_x86..>26-Sep-2016 09:02 9.0MProB Release Folder
 simulator-manual.pdf 26-Sep-2016 09:02 186KProB Release Folder

Last build revision: 10941
Back to the ProB website.