Keyphrases
- formal methods
- acm sigkdd
- knowledge discovery and data mining
- latin american
- naacl hlt
- international conference
- international workshop
- workshop on artificial intelligence
- cyber security and information intelligence
- invited talk
- formal analysis
- model checking
- provably correct
- model checker
- knowledge discovery
- knowledge based systems
- safety critical
- formal specification
- human computation
- international symposium
- acm sigmod
- software engineering
- selected papers
- process algebra
- student research workshop
- european conference on artificial intelligence
- artificial intelligence
- development lifecycle
- information systems
- formal verification
- data mining
- lecture notes
- lecture notes in artificial intelligence
- researchers and practitioners
- modeling language