☰

Integrating static analysis into your development process

The installation package for RuleChecker includes a plugin for the ARM Keil µVision IDE/Debugger.

A free video tutorial on installing and using the plugin is available on our YouTube channel.

© AbsInt. Astrée is developed and distributed by AbsInt under license from the CNRS/ENS.
Traffic lights image: Raysonho, CC0 1.0, sky photography: S. Eugster, CC BY-SA 3.0. Legal notices. Privacy policy.
URL: https://www.absint.com/astree/uvision.htm