Integrating Astrée into your development process

Konzept-IS logo

Our partner Konzept-IS provides a plugin that allows you to run Astrée’s coding rule checker directly from within the Eclipse IDE.

KERCI screenshot


  • Fully integrated reports of any violated rules
  • Direct navigation to alarm locations
  • Configuration via Eclipse workspace preferences or project properties
  • Easy distribution of Astrée settings via a configuration file
  • Batch mode for continuous-integration servers
  • Straightforward deployment and updates via the Eclipse site

Further information