Alligator is now included in the new CosyVerif Environment

Clik here to know more about CosyVerif.

0.2-SNAPSHOT - Roadmap

• Tool integration: IMITATOR
• Tool integration: Cosmos
• Tool integration: Cunf
• Asynchronous results
• Utilities to ease the service integration

0.1

• Web services: ping, list services and invoke a service
• Service extension point
• ServiceManager extension point
• Tool integration: GrML-Check
• Tool integration: PNXDD
• Tool integration: Crocodile
• Partial integration of the old platform FrameKit