UPPAAL in 1995
Keyword(s):
The Past
◽
UPPAAL is a tool suite for automatic verification of safety and<br />bounded liveness properties of real-time systems modeled as networks of timed automata<br />[12, 9, 4], developed during the past two years. In this paper, we summarize<br />the main features of UPPAAL in particular its various extensions developed in 1995<br />as well as applications to various case-studies, review and provide pointers to the<br />theoretical foundation.
Keyword(s):
2012 ◽
Vol 23
(04)
◽
pp. 831-851
◽
Keyword(s):
2012 ◽
Vol 15
(3)
◽
pp. 211-228
◽
2013 ◽
Vol 4
(2)
◽
pp. 62-83
◽
Keyword(s):
2000 ◽
Vol 12
(5)
◽
pp. 350-371
◽
2020 ◽
pp. 186-202