CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).
The tool allows to edit CCS processes, explore the generated labelled transition systems and verify their correctness via the equivalence checking approach (e.g. strong and weak bisimulation, and strong and weak trace equivalence checking) and model checking approach (determining whether a given process satisfies a HML formulae with recursion, including a generation of distinguishing formulae). Both equivalence and model checking approaches support a visualization of counter examples via equivalence/model checking games.
A live demo of CAAL is available at caal.cs.aau.dk
- Download and install Node.js.
- Download and unzip the latest release.
- Open a shell and run
node serverin the root directory. - Open a web browser and navigate to
http://localhost:8090.
####Setup
All you need is Node.js and npm installed. Clone this repository and run the following commands in the root directory of the repository:
npm install
git submodule init
git submodule update
cd modules/ace
npm installnpm run buildThis will run the build.sh script, which will compile all of the Typescript files, and compile any potential changes in the Ace submodule.
To compile the project, run all unit tests, and zip all necessary files to run CAAL:
npm run releaseThe release will be zipped to release.tar.gz. (caal.cs.aau.dk is running the latest release.)
Another option (not recommeded) is to compile the release without running tests:
npm run release-notestIf you experience errors with the Ace editor upon running the tool, such as
ace.js:14346 Uncaught SyntaxError: Unexpected token ILLEGAL
editor.ts:19 Uncaught ReferenceError: ace is not defined
- Delete the directory
modules/ace. - Run
git config --global core.autocrlf input. - Run the above setup again.