Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation.

Reinhold Heckmann Christian Ferdinand Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation. 125-128 2005 conf/sicherheit/2005 Sicherheit db/conf/sicherheit/sicherheit2005.html#HeckmannF05