URL details: compiler-technology.com/astree/
URL title:
Astrée Static Analyzer for C and C++
URL description:
Astrée is a static program analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical applications written or generated in C or C++
URL keywords:
Astrée, run, time, error, analysis, embedded, system, software, application
URL last crawled:
2023-04-13
URL speed:
0.144 MB/s,
downloaded in 0.200 seconds
We found no external links pointing to this url.