Skip to content

Djekkoo/UPPAAL-trace-parser

Repository files navigation

UPPAAL-trace-parser

This application currently only accepts output from libutap tool 0.91, libutap tool 0.93 or verifyta executable which produces human-readable output.

http://people.cs.aau.dk/~marius/utap/ - Use version 0.93 for default UPPAAL, use (an fixed variant of) version 0.91 for UPPAAL CORA.

This project uses ANTLRv4.5.2, plugins for different tools exist and can be used according to the description on their website. http://www.antlr.org/

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published