Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation.

Reinhold Heckmann Christian Ferdinand Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. 618-619 2005 conf/date/2005 DATE https://doi.org/10.1109/DATE.2005.326 https://doi.ieeecomputersociety.org/10.1109/DATE.2005.326 http://dl.acm.org/citation.cfm?id=1049181 db/conf/date/date2005.html#HeckmannF05