Login / Signup
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
Published in:
DSN (2003)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
software systems
model checking
software architecture
test suite
active rules
database systems
open source
source code
modeling language
dynamic analysis