GitHub repository: lesunb/XMIToPRISM
Primary language: Java
Created: 2018-02-12T21:03:03Z
Description: UML diagrams as XMI files transformed to DTMC in PRISM language via UnB-DALi.