Abstract Interpretation-Based Verification of Non-functional Requirements.

Agostino Cortesi Francesco Logozzo

Published in: COORDINATION (2005)

Keyphrases

abstract interpretation
model checking
termination analysis
static analysis
active rules
reasoning engine
active databases
dynamic analysis
information systems
planning domains