Advertisement
UPPAAL
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems....
environment integrated UPPAAL integrated tool environment modeling real-time systems
UPPAAL TIGA
UPPAAL TIGA is an extension of UPPAAL and it implements the first efficient on-the-fly algorithm for solving games....
UPPAAL solving solving games command line verifier on-the-fly algorithm
UPPAAL DBM Library
Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata....
Uppaal Timed Automata Parser Library
The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL....
pyuppaal
Python library for manipulating UPPAAL XML files...