An overview of the Eucalyptus Toolbox
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.