EXP2FC2 manual page
Table of Contents

Name

exp2fc2 - Conversion of .exp files to parallel .fc2 files

Synopsis

exp2fc2 spec.exp result.fc2

Description

This program converts networks of communicating LTSs described in the .exp format used by aldebaran and exp.open to the .fc2 format used by the Fc2Tools.

This is done by first converting the communicating LTSs into the .fc2 format. These files are temporary files, as they are only needed during the conversion. Therefore, they are stored in the $CADP_TMP directory, or in /tmp if $CADP_TMP is not defined.

Then, these files are linked together (using the fc2link tool of the Fc2Tools toolset) according to the synchronization patterns specified in spec.exp. This produces a parallel .fc2 file stored in result.fc2

Exit Status

When the source is erroneous, error messages are issued. Exit status is 0 if everything is alright, 1 otherwise.

Authors

Version 1.* of exp2fc2 was a binary program developed by David Jacquemin, Hubert Garavel and Mark Jorgensen (INRIA Rhone-Alpes).

Version 2.* of exp2fc2 (released in August 2004) is a simple script-shell that makes use of the conversion features provided by exp.open version 2.

Operands

spec.exp
network of communicating LTSs (input)

spec.fc2
network of communicating LTSs (output)

Files

The source code (Bourne shell script) of this tool is available in file $CADP/com/exp2fc2

See Also

aldebaran , exp.open , FCTOOLS User Manual.

Directives for installation are given in file $CADP/INSTALLATION.

Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.

The FC2Tools page on the web is located here:
http://www.inria.fr/meije/verification

Bugs

Please report new bugs to Hubert.Garavel@inria.fr

Table of Contents