Keyphrases
- international conference
- model checking
- abstract interpretation
- temporal logic
- formal verification
- automated verification
- verification method
- model checker
- computational intelligence
- bounded model checking
- formal specification
- computational molecular biology
- formal methods
- acm sigmod
- static analysis
- termination analysis
- dynamic analysis
- databases
- database
- artificial neural networks
- decision making
- artificial intelligence
- data mining