4 ms·Static Analysis and Verification of Aerospace Software by Abstract Interpretation [pdf]1 points by Nokinside 9y ago