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 http://arxiv.org/abs/0710.4753 2007 CoRR abs/0710.4753 db/journals/corr/corr0710.html#abs-0710-4753 informal publication