An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.

Stephan Thesing Jean Souyris Reinhold Heckmann Famantanantsoa Randimbivololona Marc Langenbach Reinhard Wilhelm Christian Ferdinand An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. 625- 2003 conf/dsn/2003 DSN http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520625abs.htm db/conf/dsn/dsn2003.html#ThesingSHRLWF03