-
Resource-efficient designs using an aspect-oriented approach
JGF Coutinho, S Bhattacharya, W Luk... - 2012 IEEE 15th ..., 2012 - ieeexplore.ieee.org
... This is because interval arithmetic is unable to compute tight bounds whenever dependencies
exist between operations, while affine arithmetic loses information when approximating ...
Space software validation using abstract interpretation
O Bouissou, E Conquet, P Cousot, R Cousot... - The International Space ..., 2009 - hal.inria.fr
This paper reports the results of an ESA funded project on the use of abstract interpretation
to validate critical real-time embedded space software. Abstract interpretation is industrially ...