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 unzip the latest release for offline use. Extract the package and run the scripts; there is a script for Windows, MacOs, and Linux. For more information read the README bundled with the package.
All you need is to have installed is Node.js, npm, and Python (for building ace). 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 install
To build CAAL, run the following command in the root directory.
npm run build
This 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 release
The release will be zipped to
release.tar.gz. (caal.cs.aau.dk is running the latest release.)
Another option (not recommended) is to compile the release without running tests:
npm run release-notest
ace.js:14346 Uncaught SyntaxError: Unexpected token ILLEGAL editor.ts:19 Uncaught ReferenceError: ace is not defined
The problem is that some line endings characters are causing issues. One possible method to fix this is to run the following commands.
- Delete the directory
git config --global core.autocrlf input.
- Run the above setup again.