☰
Products
Support
News
About us
Astrée
RuleChecker
Compliance
Integration
New in 24.10
Try now
Functional safety
2
Static analysis
©
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/slides/2.htm