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

Reinhold Heckmann, Christian Ferdinand

Browse the full DATE paper archive.