Model Checking Software Architecture Design.
Jiexin ZhangYang LiuJing SunJin Song DongJun SunPublished in: HASE (2012)
Keyphrases
- software architecture
- model checking
- temporal logic
- description language
- functional requirements
- software engineering
- architectural design
- software systems
- embedded software
- model checker
- temporal properties
- formal specification
- formal verification
- design patterns
- distributed systems
- artificial intelligence
- formal methods
- finite state
- timed automata
- software development
- epistemic logic
- automated verification
- reachability analysis
- design process
- multi agent
- case study