Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation.

Reinhold Heckmann Christian Ferdinand

Published in: Sicherheit (2005)

Keyphrases

embedded software
safety critical
embedded systems
abstract interpretation
model checking
formal methods
software architecture
low cost
fault tolerant
development projects
termination analysis
databases
relational databases
support systems
static analysis