GitHub repository: mkolbusz/uml2ltl
Primary language: Java
Created: 2017-03-25T12:01:23Z
Description: Application to transform UML Activity Diagram to LTL form of logic