UPPAAL

UPPAAL

Description: UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

The tool is developed in collaboration between the Department of Information Technology at Uppsala University, Sweden and the Department of Computer Science at Aalborg University in Denmark.

VO Integration: No

Active: Yes

Available Benchmarks: No

Website: http://www.uppaal.org/

Download: Releases and installation instructions.

Documentation: Tutorials and example papers.

Contact: Link to list of contributors.

Excerpt and graphic from: http://www.uppaal.org/