Construction and Analysis of Distributed Processes
Software Tools for Designing Reliable Protocols and Systems

THE CADP NEWSLETTER - Nr. 3
September, 25, 1997

This newsletter is available from the CADP Home page. A few URLs in this page have been updated in November 2011.


Contents


1. Current release of CADP

We received many questions regarding the status of work on CADP. Please find below up-to-date information.

The current "official" version of CADP is Version 97a "Twente", released on June, 6, 1997. You can find detailed information about Version 97a by looking at these Web pages:


2. Future release of CADP

A new release of CADP, Version 97b "Liege", is currently under preparation. This new version brings several major new features, namely:

This future version of CADP will be demonstrated soon:

        Colloque Francophone sur l'Ingenierie des Protocoles
	(Liege, Belgium) September 30 - October, 2
        http://www-run.montefiore.ulg.ac.be/CFIP97/cfip97.html

Beta-versions of CADP 97b are available now. If you are interested in trying them, please contact "Hubert.Garavel@inria.fr".


3. Database of papers and case-studies

We are maintaining a database of publications and use cases of LOTOS and/or CADP tools. If you have such material (publications or technical reports), please send to Hubert.Garavel@inria.fr the bibliographic references.


4. Technical enquiry

While we are adding new tools to CADP and porting it to new architectures, we have questions concerning the necessity to maintain some facilities currently present in CADP.

Please, look at the following questionnaire and, if you answer YES to one of these questions, please notify Hubert.Garavel@inria.fr before October, 5, 1997. (You need not reply if you answer NO to all questions).


QUESTION 1:
        Do you use CADP together with the HIPPO simulator (developed 
        during the SEDOS ESPRIT project) to flatten parameterized 
	abstract data types before applying CAESAR and CAESAR.ADT?

QUESTION 2:

        Do you use CADP together with the TESTGEN-LOTOS tool?

QUESTION 3:

        Do you use CADP together with the TETRA tool?

QUESTION 4:

        Do you use CADP together with the VISCOPE tool?
        

Please note that support for some of these tools might be discontinued unless we receive opposite indications by October, 5, 1997.
Copyright (C) INRIA 1997 -- Tous droits réservés -- All Rights Reserved.
Back to the CADP Home Page