Uppaal Model Checker
From Free net encyclopedia
(Difference between revisions)
Revision as of 11:14, 19 September 2005
Jpbowen (Talk | contribs)
Added category, minor updates
Next diff →
Jpbowen (Talk | contribs)
Added category, minor updates
Next diff →
Current revision
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 Design and Analysis of Real-Time Systems group at Uppsala University, Sweden and Basic Research in Computer Science at Aalborg University, Denmark.
[edit]
