GitHub repository: Djekkoo/UPPAAL-trace-parser
Primary language: Java
Created: 2016-03-28T13:51:56Z
Description: This application currently assumes the libutap tracer tool to be installed in an executable path.