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


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