|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools Forum |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
An overview of the Eucalyptus Toolbox
Hubert Garavel
Proceedings of the COST 247 International Workshop on Applied
Formal Methods in System Design (Maribor, Slovenia), pages 76-88, June 1996
Abstract:
This article presents the essential features of a protocol engineering environment, the EUCALYPTUS toolbox, which has been developed or improved in the framework of two successive European-Canadian projects EUCALYPTUS-1 and EUCALYPTUS-2. This toolbox is based on the formal description technique LOTOS standardized by ISO. It offers a wide range of functionalities, including simulation, compilation, verification and test case generation for LOTOS descriptions.
| 13 pages |  |
 PostScript |