☰
Produkte
Support
Aktuell
Über uns
Kontakt
Astrée
Funktionsweise
Standards
Integration
Neu in 17.10
Jetzt testen
Abstract interpretation
5
Automotive
©
AbsInt
. Astrée wird entwickelt und vertrieben von AbsInt unter Lizenz von
CNRS
/
ENS
.
Traffic lights image:
Raysonho, CC0 1.0
, sky photography:
S. Eugster, CC BY-SA 3.0
.
Impressum
.
URL: http://www.absint.com/astree/slides/5.htm