Stepwise PCTL Generation with Closed-Loop Validation for Automated SysML Activity Diagram Verification.

Jia Xu, Lei Yu, Peng Wang, Li Yang, Changzhi Deng, YuSheng Liu, Dongxing Teng, Fengjun Zhang

Browse the full COMPSAC paper archive.