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-632 2003 conf/dsn/2003 DSN https://doi.org/10.1109/DSN.2003.1209972 https://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209972 db/conf/dsn/dsn2003.html#ThesingSHRLWF03