Keyphrases
- formal methods
- safety critical
- lecture notes in artificial intelligence
- knowledge based systems
- international conference
- knowledge discovery and data mining
- model checking
- formal analysis
- formal specification
- lecture notes
- artificial intelligence
- provably correct
- open source
- software engineering
- reactive systems
- data mining
- international workshop
- knowledge discovery
- model checker
- relational databases
- asynchronous circuits
- process algebra