Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation

Reinhold Heckmann Christian Ferdinand

Published in: CoRR (2007)

Keyphrases

memory usage
embedded software
safety critical
embedded systems
abstract interpretation
memory requirements
model checking
software architecture
development projects
low cost
termination analysis
formal methods
active rules
support systems
multi agent
static analysis
agent architecture
logic programming