csv2uppaal

Tool chain that translate tables with state/transition protocol descriptions into a network of communicating state machines directly suitable for verification in Uppaal.

Dependencies

Ruby
Bash
Awk

Install

See README.txt

License

BSD License

Authors

Abinoam P. Marques Jr.
Anders Ravn
Jiri Srba
Saleem Vighio

Download

Stable version (v1.1) - Depends on Ruby, Bash and awk

csv2uppaal.v1.1.zip
csv2uppaal.v1.1.tgz

Beta version (v2.3) - Pure Ruby language. No dependency on Bash and awk. Run easier on Windows. Lots improvements.

csv2uppaal.v2.3.zip
csv2uppaal.v2.3.tgz

To keep in touch with the development process you can also clone the project with Git by running:

$ git clone git://github.com/csv2uppaal/csv2uppaal

Note: There's no guarantee this is a working version.