A comparative study of formal verification techniques for software architecture specifications.
Jeffrey J. P. TsaiKuang XuPublished in: Ann. Softw. Eng. (2000)
Keyphrases
- software architecture
- formal verification
- model checker
- bounded model checking
- automated verification
- model checking
- functional requirements
- description language
- symbolic model checking
- software engineering
- distributed systems
- embedded software
- reference model
- software development
- architectural design
- software systems
- temporal logic
- design patterns
- artificial intelligence
- formal specification
- cooperative
- specification language
- decision making
- database