www.prismmodelchecker.org
[BBMO15] Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed and Samir Ouchani. A quantitative verification framework of SysML activity diagrams under time constraints. Expert Systems with Applications. 2015. [Proposes a verification framework using the SysML formalism and probabilistic model checking with PRISM.]

Publications