Lectures 14 and 15: 19th November 2019 Flashcards Preview

CS4052 Logic and Software Verification > Lectures 14 and 15: 19th November 2019 > Flashcards

Flashcards in Lectures 14 and 15: 19th November 2019 Deck (50)
Loading flashcards...
1

What is a TA?

!

2

What is a PN?

!

3

How do TAs work?

!

4

How do PNs work?

!

5

What is TCTL?

!

6

How does TCTL work?

!

7

What is a state formula?

!

8

What is a path formula?

!

9

What is the syntax of state formulae?

!

10

What is the syntax of path formulae?

!

11

What is UPPAAL?

!

12

What does UPPAAL do?

!

13

How are systems modelled in UPPAAL?

!

14

What are the different parts of system specifications in UPPAAL?

!

15

What are global declarations in UPPAAL?

!

16

What are process definitions in UPPAAL?

!

17

What are system declarations in UPPAAL?

!

18

What is the clock of a model?

!

19

What is a local transition variable?

!

20

How do you write models in UPPAAL?

!

21

How do you write actions in UPPAAL?

!

22

What are UPPAAL functions? What do they describe?

!

23

What is the effect of performing functions on transitions in UPPAAL?

!

24

Can you use loops to declare multiple instances in UPPAAL?

no

25

How do you pass values through channels in UPPAAL?

!

26

How do you define states in UPPAAL?

!

27

How do you define transitions in UPPAAL?

!

28

How do you define conditions in UPPAAL?

!

29

What are transition semantics?

!

30

What is a transition guard?

!