Avionic Software Verification by Abstract Interpretation.

Published in: ISoLA (2007)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
source code
integrity constraints
management system