Tutorial 2: 6th November 2019 Flashcards Preview

CS4052 Logic and Software Verification > Tutorial 2: 6th November 2019 > Flashcards

Flashcards in Tutorial 2: 6th November 2019 Deck (7)
Loading flashcards...
1

How do you represent processes as program graphs?

!

2

How do you combine two program graphs into a single transition system?

!

3

How do you find the reachable parts of a transition system?

!

4

How can you determine whether mutual exclusion in a transition system of multiple joined TSes or PGs?

!

5

How do you make TSes from verbal descriptions of compute systems and their requirements?

!

6

How do you perform parallel composition on TSes?

!

7

How did we implement the additional LTL oeprator "release"?

!