Keyphrases
- formal methods
- abstract interpretation
- model checking
- termination analysis
- temporal logic
- formal specification
- static analysis
- artificial intelligence
- active rules
- active databases
- formal specification language
- reasoning engine
- dynamic analysis
- fine grained
- knowledge based systems
- object oriented databases
- database applications