Uppaal Model Checker
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
.
External links
Uppaal
Design and Analysis of Real-Time Systems group
Basic Research in Computer Science
<< Previous
Word Browser
Next >>
golden age of freethought
roland jx 3p
energy scale
length scale
cck
north newton
specs and trapper
theodorick bland (congressman)
queens village, queens
hi de hi!
dizziness
ensoniq
banco popular espaol
theodorick bland (jurist)
sami village
chemical markup language
greece dialing code 26220
merchandising
north plains
niall ferguson
fundamental science
roland mc 8 microcomposer
the cat returns
magneto plasmo dynamic
bishop james madison society
corsair (comics)
sparse array
scene (disambiguation)
tombigbee river
ray dandridge
charles gordon lennox, 7th duke of richmond
martin and osa johnson
theodorick bland
clean air act
north prairie
financial transaction
stephen wiltshire
boxer tv access
list of alabama rivers
bertram ramsay
billy bremner
johnny giles
norman hunter
judge advocate general