|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
| Organisation: |
CWI (Amsterdam, THE NETHERLANDS)
|
|---|---|
| Functionality: |
Connection of the mCRL toolset to OPEN/CAESAR
|
| Tools used: |
OPEN/CAESAR
|
| Period: |
2004
|
| Description: |
MCRL.OPEN is a new tool that allows to apply the on-the-fly
verification tools of CADP (OPEN/CAESAR) to descriptions written
using the mCRL process algebra, developed at CWI Amsterdam.
MCRL.OPEN takes as inputs an OPEN/CAESAR verification tool with appropriate arguments and a mCRL description, which has been first transformed into an intermediate (so-called linearized) form using the mCRL toolset. MCRL.OPEN translates the linearized mCRL description into its corresponding transition system, represented implicitly (i.e., by means of its successor function) according to the OPEN/CAESAR generic API. It then executes the OPEN/CAESAR verification tool on this implicit representation. |
| Conclusions: |
MCRL.OPEN was developed in the framework of the SENVA collaboration
between the VASY team of INRIA and the SEN2 group of CWI. It is
available as a component of the mCRL toolset.
|
| Publications: | The SENVA 2004 Activity Report http://vasy.inria.fr/senva/report2004.html |
| Contact: | Jaco van de Pol CWI P.O. Box 94079 1090 GB Amsterdam THE NETHERLANDS Tel: +31 (0)20 592 4137 Fax: +31 (0)20 592 4199 E-mail: Jaco.van.de.Pol@cwi.nl |
| Further remarks: | This tool, amongst others, is described on the CADP Web site: http://cadp.inria.fr/software |
Back to the CADP research tools page