Visible to the public UPPAAL STRATEGOConflict Detection Enabled

Submitted by akarns on Mon, 05/08/2017 - 10:14am

UPPAAL STRATEGO

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.).

Uppaal Stratego [DJLMT15] facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible "strategy-space" exploration before adaptation in a final implementation by maintaining strategies as first class objects in the model-checking query language.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://people.cs.aau.dk/~marius/stratego/

Download: Releases and installation instructions.

Documentation: Examples and introduction.

Contact: List of contributors.

Excerpt from: http://people.cs.aau.dk/~marius/stratego/

Backlinks: