Tutorial 3: 20th November 2019 Flashcards Preview

CS4052 Logic and Software Verification > Tutorial 3: 20th November 2019 > Flashcards

Flashcards in Tutorial 3: 20th November 2019 Deck (5)
Loading flashcards...
1

How can you set the minimum and maximum amount of time that may be spent in a given state?

!

2

How can you formulate "can't rest" properties?

!

3

How can you formulate deadlock properties?

!

4

How can you make a property checking the maximum amount of time that can be spent in a state?

!

5

How can you check if a model instance is in a given state?

!