TCS /
Software /
Uppaal Reader
Uppaal Reader: a small tool for parsing Uppaal output files to simpler presentation.
Background
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.
Disclaimer
The software below is provided on "as is" basis, without
warranties of any kind or fitness for a particular purpose.
Copyright
Uppaal Reader uses GPLv3.
Author 2009, Mikko Talkara (mtalkara(at)cc.hut.fi)
Download
Package including Linux binaries and source code:
Uppaal Reader (version 0.11)
[TCS main]
[Contact Info]
[Personnel]
[Research]
[Publications]
[Software]
[Studies]
[News Archive]
[Links]
Latest update: 07 October 2009.