Abstract: 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 ...

Abstract: With the rapid development of computer science and technology, Model-Based Systems Engineering (MBSE) has been widely used in the field of system design and simulation, gradually replacing ...