www.prismmodelchecker.org
[Jar10] Yosr Jarraya. Verification and Validation of UML and SysML Based Systems Engineering Design Models. Ph.D. thesis, Concordia University. 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications