Project for Compilers class. UML activity diagram to temporal logic expression generator.
Input: UML activity diagram represented as an XMI file. The funtionality has been tested with Modelio (modelio.org).
Output: Set of temporal logic expressions which describe the diagram and can be used as an input to a prover program.