AbsInt Angewandte Informatik GmbH, Saarbrücken

WCET analysis

Stack usage analysis

Run-time error analysis

Memory safety analysis

Postpass code optimization

Early-stage WCET estimation

Graph visualization

Qualification support

ał 12.04
release notes
Astrée 12.04
release notes
Our clients
Where to buy

© AbsInt. Legal notices.