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.