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: We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysis of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback