Integration von Astrée in Ihre Entwicklungsumgebung

Eclipse-Logo

Wir stellen Ihnen ein Plugin zur automatischen Integration von Astrée in Eclipse kostenlos zur Verfügung.

Menüeintrag zum Starten von Astrée-Analysen aus Eclipse heraus

Die Eclipse-Integration wird von Astrée unmittelbar ermöglicht. Es muß keine Zusatzsoftware installiert werden. Sie können Astrée 30 Tage lang kostenlos und unverbindlich an Ihren eigenen Anwendungen testen.