Flashcards in Tutorial 3: 20th November 2019 Deck (5)
How can you set the minimum and maximum amount of time that may be spent in a given state?
How can you formulate "can't rest" properties?
How can you formulate deadlock properties?
How can you make a property checking the maximum amount of time that can be spent in a state?