Towards a Formal Verification Approach for Cloud Software Architecture.
Amal AyachLayth SlimanMourad KmimechMohamed Tahar BhiriBadran RaddaouiPublished in: SoMeT (2017)
Keyphrases
- software architecture
- formal verification
- model checking
- cloud computing
- description language
- software systems
- architectural design
- distributed systems
- embedded software
- software engineering
- model checker
- functional requirements
- bounded model checking
- automated verification
- symbolic model checking
- reference model
- software development
- program slicing
- design patterns
- quality attributes
- object oriented software
- cooperative
- software evolution
- multi agent
- case study