Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Published in: ISoLA (Revised Selected Papers) (2016)
Keyphrases
- lecture notes
- international symposium
- formal methods
- revised selected papers
- computer science
- revised papers
- model checking
- artificial intelligence
- model checker
- formal analysis
- safety critical
- knowledge based systems
- machine learning for multimodal interaction
- formal specification
- lecture notes in artificial intelligence
- temporal logic
- software engineering
- machine learning
- databases
- database
- formal specification language
- relational databases
- development lifecycle