This paper introduces an automated approach to generating test cases from SysML activity diagrams, addressing challenges such as state explosion and inadequate test coverage. The proposed method ...

SysML activity diagrams are OMG/INCOSE standard used for modeling and analyzing probabilistic systems. In this paper, we propose a formal verification framework that is based on PRISM probabilistic ...