Click to enlarge
Click to enlarge
Astrée
A static code analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical software written or generated in C/C++.
Click to enlarge
Click to enlarge
A static code analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical software written or generated in C/C++.