|
| Final Report of the COST-247 Action |
An overview of the EUCALYPTUS project
Hubert Garavel
| INRIA Rhone-Alpes / Dyade |
| 655, avenue de l'Europe |
| 38330 MONTBONNOT ST MARTIN |
| FRANCE |
| tel: +(33) 4 76 61 52 24 |
| fax: +(33) 4 76 61 52 52 |
| E-mail: hubert.garavel@inria.fr |
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.
This presentation has been given during the COST-247 7th Management Committee Meeting (Madrid, Spain, February, 12--13, 1995).
COST-247 Working Group(s): 1-2
Web links: http://vasy.inria.fr
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page