Dahlweid, M., Schulze, U.:
Symbolic Execution of CSP Specifications.
Master thesis, Computer Science Department, University of Bremen.
download from www.informatik.uni-bremen.de/~dahlweid/Thesis.zip
This is the CIaO version developed for the master thesis. It
requires Qt-1.42 or higher and is restricted in the CSP operators that
can be parsed and executed.
download from www.informatik.uni-bremen.de/~dahlweid/ciao-1.0.tgz
This Version of CIaO is now FDR2 conform and includes lot of bug
fixes. It requires Qt-2.0.
download from (not available, yet)
This package includes a CSP parser based on the bison-grammar of
Bryan Scattergood. The parser is FDR2 conform and can be used to
validate CSP specifications or to build the abstract systax
representation used by CIaO.
download from (not available, yet)
