6 search results - page 2 / 2 » Static Analysis by Abstract Interpretation of the Quasi-sync... |
EMSOFT
2007
Springer
14 years 13 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...