Keyphrases
- formal methods
- international symposium
- lecture notes
- software engineering
- computer science
- model checker
- revised papers
- model checking
- artificial intelligence
- formal analysis
- safety critical
- knowledge based systems
- formal specification
- software development
- computational intelligence
- book constitutes the refereed proceedings
- reverse engineering
- databases
- modeling language
- distributed systems
- temporal logic
- carefully reviewed and selected from submissions
- neural network
- formal verification
- development lifecycle
- lecture notes in artificial intelligence
- design patterns
- software architecture
- ambient intelligence
- business process
- fuzzy logic
- knowledge representation