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ł 13.04
release notes
Astrée 13.04
release notes
Our clients
Where to buy

© AbsInt. Legal notices.