Automatic Derivation of Loop Termination Conditions to Support Verification.

Published in: ACSC (2004)

Keyphrases

sufficient conditions
semi automatic
decision support
knowledge management
data driven
model checking
database
multimedia
end users