A Repository of CSP-M-files
This repository contains a number of CSP-M-files. They are all compatible with my tool CSPC and (with limitations) with the refinement checkers FDR and ProB.
wittiger/cspm-examples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|