Astrée
Astrée is a static analyzer for safety-critical software
Software · by Antoine Miné, Jérôme Feret, David Monniaux, AbsInt · absint.com
Open Astrée in AirStackWhat Astrée’s own pages say
| What it says it does | Astrée is a static analyzer for safety-critical software absint.com |
|---|---|
| Integrations | Jenkins, Raptor, TargetLink, μVision, Visual Studio Code, GitLab CI/CD absint.com |
| Customers (their claim) | Since 2003, Airbus France has been using Astrée absint.com |
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.