Keyphrases
- formal methods
- lecture notes
- computer science
- software engineering
- artificial intelligence
- international conference
- formal analysis
- lecture notes in artificial intelligence
- international symposium
- model checker
- formal specification
- knowledge based systems
- model checking
- safety critical
- provably correct
- security properties
- process algebra
- machine learning
- springer verlag
- software systems
- development process
- data mining
- databases
- advances in artificial intelligence
- design patterns
- software development
- object oriented
- expert systems
- natural language
- information systems
- database
- formal specification language