Login / Signup
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.
Yufei Yin
Shaoying Liu
Yixiang Chen
Published 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