Uppaal Reader: a small tool for parsing Uppaal output files to simpler presentation.
Uppaal Reader is a tool for representing the Uppaal generated counter example executions as traces of the modeled system. Uppaal Reader was developed by Mikko Talkara.
Using the Software
Uppaal Reader is distributed as source and binary forms. For installation and operating instructions please refer to the README files found from the package.
The software below is provided on "as is" basis, without
warranties of any kind or fitness for a particular purpose.
Uppaal Reader uses GPLv3.
Author 2009, Mikko Talkara (mtalkara(at)cc.hut.fi)
Package including Linux binaries and source code:
Uppaal Reader (version 0.11)
Latest update: 07 October 2009.