timed automata reviews and downloads

Search results for «timed automata»:

Showing 1 to 10 from 10 matches

Uppaal Timed Automata Parser Library 0.90 Uppaal Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. Requirements: · gcc (2.95.3 or newer) · lib LGPL (GNU Lesser General Public License)

UPPAAL 4.0.3 UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed Free for non-commercial use

DREAM Tool 0.6 Beta DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consump GPL (GNU General Public License)

UPPAAL DBM Library 2.0.5 Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. They are used in GPL (GNU General Public License)

---

Related: