TY  - RPRT
TI  - Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
AU  - Reinhold Heckmann
AU  - Christian Ferdinand
PY  - 2007
UR  - https://arxiv.org/abs/0710.4753
ID  - 0710.4753
ER  -