Integrated UML activity/class diagram modeller and PRISM-based model checker (university project)
Primary LanguageC++GNU General Public License v2.0GPL-2.0