Abstract Interpretation Based Formal Methods and Future Challenges.

Published in: Informatics (2001)

Keyphrases

formal methods
abstract interpretation
model checking
termination analysis
temporal logic
formal specification
static analysis
active rules
dynamic analysis
artificial intelligence
reasoning engine
software engineering
knowledge based systems
machine learning
active databases
formal specification language