Conference Protocol Website News

2002-02-27

Added an Client-Server version of the conference protocol.

2002-02-26

Added possiblity to measure the IUT coverage of the implementation.

Added a first experimental tcl/tk GUI for the conference prototol implementation.

2002-02-25

Added single threathed implementation of the conference protocol.

Added 60 single errors to IUT. They can be set individually.

2001-03-22

Corrected the hyperlink to the efsm specification D. Thank you, Wang Xiaoxu.

2000-10-20

Added the SDL specification for Tau 4 tool.

2000-09-25

Added the SDL specification of our French colleaques from RENN.

2000-09-15

Added the latest version of the EFSM specification.

2000-02-07

Corrected bug in spec for CADP99d package.

2000-01-24

Several link-references corrected.

2000-01-18

Added a specification for the use with the CADP99d package.

2000-01-18

Added a link to the Côte de Resyste project publication page.

1999-11-18

A LOTOS specification for the use with the Caesar/Aldebaran Development Package is added.

1999-11-16

A General SDL specification (.pr format) is added.

1999-06-04

New version of Promela specification added.

Prev	Table of Contents	Next
Appendix A: Conference Protocol References		Appendix C: The XTorX Grafical User Interface