Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.
Yufei YinShaoying LiuYixiang ChenPublished in: SOFL+MSVL (2018)
Keyphrases
- activity diagrams
- formal methods
- model checker
- operational semantics
- safety analysis
- conceptual database design
- model checking
- sequence diagrams
- requirements engineering
- formal verification
- modeling language
- class diagrams
- software engineering
- automated reasoning
- formal semantics
- software development
- programming language