Advertisement
Uppaal Timed Automata Parser Library
The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL....
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
Timed Runner
Timed Runner is an application used to set-up a timed invocation of applications on a per-second basis....
script application running application starter scheduled running
Nagios::WebTransact::Timed
Nagios::WebTransact::Timed is an object that provides a check method....
UPPAAL DBM Library
Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata....