Shaoying Liu and Yixiang Chen Yufei Yin

Validation And Verification Of Sysml Activity Diagrams Using Hoare Logic

2018 · Zenodo (CERN European Organization for Nuclear Research)

SysML diagrams are significant medium using for supporting software lifecycle management. The existing TBFV method is designed for error detection with full automation efficiency, only for code. For verifying the correctness of SysML diagram, we …