Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.
Fagner DiasMarcel OliveiraThaís Vasconcelos BatistaEverton CavalcanteJair C. LeiteFlávio OquendoCamila AraújoPublished in: ECSA (2020)
Keyphrases
- software architecture
- formal verification
- model checking
- description language
- model checker
- formal methods
- constraint satisfaction problems
- architectural design
- bounded model checking
- symbolic model checking
- software systems
- reference model
- software engineering
- safety analysis
- functional requirements
- software development
- embedded software
- automated verification
- distributed systems
- high level
- design patterns
- temporal logic
- software evolution
- database
- formal specification
- search space
- object oriented software
- machine learning