| [ Home | What's New | Contents | Overview | Contributors | Distribution | Examples | Documentation | Manual | Publications | Mailing List Archive | Problems ] | This page was last updated by Axel Belinfante on 2003-04-09 | |
| TorX Test Tool Information | ||
| Prev | Next | |
This page will provide you with information about the conference protocol. The conference protocol is one of the protocols used as a case study within the Côte de Resyste project. One of the goals of the Côte de Resyste project is the development of tools, currently known as TorX, to support the automatic generation of tests from specifications, as well as the execution and analysis with respect to their implementation.
This site contains a detailed informal description, and four formal specifications and several implementations of the conference protocol.
The publication of the Côte de Resyste project you can find at our Project Publications website.
If you still have unanswered questions you are welcome to mail us at address cdr@cs.utwente.nl
LINKS| Prev | Table of Contents | Next |
| Chapter 8: TorX Tutorial |
|
Chapter 10: Conference Protocol Description |