Tutorial 3: 20th November 2019 Flashcards
Timed Automata and UPPAAL
1
Q
How can you set the minimum and maximum amount of time that may be spent in a given state?
A
!
2
Q
How can you formulate “can’t rest” properties?
A
!
3
Q
How can you formulate deadlock properties?
A
!
4
Q
How can you make a property checking the maximum amount of time that can be spent in a state?
A
!
5
Q
How can you check if a model instance is in a given state?
A
!
