Eclipse
Community
Participate
Working Groups
An IDE for modelling, verification of security protocols and automatic generation of Java implementation.
Application Development Frameworks, IDE, Modeling Tools
Last Updated on Wednesday, September 26, 2018 - 19:29 by Paolo Modesti
Back to the top
