Fwd: [Concurrency] New educational tool CAAL - equivalence and model checking of CCS processes

[Ali Narenji Sheshkalani]

---------- Forwarded message ----------
From: Jiri Srba <sr...@cs.aau.dk>
Date: Monday, August 31, 2015
Subject: [Concurrency] New educational tool CAAL - equivalence and model checking of CCS processes
To: "concu...@listserver.tue.nl" <concu...@listserver.tue.nl>

CAAL: Concurrency Workbench, Aalborg Edition (caal.cs.aau.dk)

We are glad to announce the first public release of the tool CAAL that supports

the modelling and analysis of concurrent systems described in the CCS process 

calculus and its timed extensions TCCS. The tool has been designed primarily for

educational purposes, runs in a browser on all platforms and supports the following

main features:

1. Smart editor for entering CCS and TCCS processes with online syntax help.

2. Visualisation of the generated labelled transition systems with features allowing

    to explore large state-spaces with support for bisimulation collapses.

3. Equivalence checking module supporting a range of strong/weak and timed/untimed 

    bisimulation, simulation and trace equivalences.

4. Model checking module for verification of recursive formulae of Hennessy-Milner logic.

5. Game module for playing (bi)simulation and model checking games.

6. Generation of distinguishing formulae for nonequivalent processes.

The tool is designed to accompany the book “Reactive Systems: Modelling, Specification

and Verification” (http://rsbook.cs.aau.dk/) and more details including an example of

use of the tool in the classroom environment can be found in our recently accepted 

paper at ICTAC’15 (http://www.cs.aau.dk/~srba/files/AAEHLOSW:ICTAC:15.pdf).

The tool is open-source and an online version of the tool can be found at this URL:

http://caal.cs.aau.dk

Any feedback and comments are very welcome.

Best regards,

CAAL development team

---

Jiri Srba, sr...@cs.aau.dk

Associate Professor at Aalborg University, Denmark

Dept. of Computer Science, Selma Lagerlofs Vej 300, 9220 Aalborg

http://www.brics.dk/~srba

office phone: +45 9940 9851

mobile +45 20453514 or +420 608222962

fax: +45 9940 9798

--