Open AccessVerifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
Author(s) -
Heckmann, Reinhold,
Christian Ferdinand
Publication year - 2005
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - abstract interpretation , computer science , software , embedded software , static analysis , interpretation (philosophy) , stack (abstract data type) , embedded system , value (mathematics) , programming language , reliability engineering , engineering , machine learning