Keyphrases
- international conference
- model checking
- abstract interpretation
- temporal logic
- formal verification
- model checker
- automated verification
- computational intelligence
- computational molecular biology
- verification method
- formal specification
- international workshop
- acm sigmod
- dynamic analysis
- formal methods
- bounded model checking
- koli calling
- termination analysis
- machine learning
- data mining and knowledge discovery
- integrity constraints
- software systems
- database