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.

Starting Astrée analysis from Eclipse

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.