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