Pluggable abstract domains for analyzing embedded software.

Nathan Cooprider John Regehr

Published in: LCTES (2006)

Keyphrases

embedded software
development projects
embedded systems
software architecture
real world
high level
software engineering
sequence diagrams
artificial intelligence
low level
test set