Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

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

Lectures 14 and 15: 19th November 2019 Flashcards

UPPAAL

1
Q

What is a TA?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What is a PN?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

How do TAs work?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

How do PNs work?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

What is TCTL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

How does TCTL work?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

What is a state formula?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

What is a path formula?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What is the syntax of state formulae?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

What is the syntax of path formulae?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

What is UPPAAL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

What does UPPAAL do?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

How are systems modelled in UPPAAL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

What are the different parts of system specifications in UPPAAL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What are global declarations in UPPAAL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What are process definitions in UPPAAL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

What are system declarations in UPPAAL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

What is the clock of a model?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

What is a local transition variable?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

How do you write models in UPPAAL?

A

!

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

How do you write actions in UPPAAL?

A

!

22
Q

What are UPPAAL functions? What do they describe?

A

!

23
Q

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

A

!

24
Q

Can you use loops to declare multiple instances in UPPAAL?

A

no

25
Q

How do you pass values through channels in UPPAAL?

A

!

26
Q

How do you define states in UPPAAL?

A

!

27
Q

How do you define transitions in UPPAAL?

A

!

28
Q

How do you define conditions in UPPAAL?

A

!

29
Q

What are transition semantics?

A

!

30
Q

What is a transition guard?

A

!

31
Q

What is the synchronisity of a transition?

A

!

32
Q

When can transitions fire?

A

!

33
Q

What do you assume about the order of communications with UPPAAL?

A

!

34
Q

How do UPPAAL state invaraints work?

A

!

35
Q

What do UPPAAL state invaraints do?

A

!

36
Q

How do clocks and time work in UPPAAL?

A

!

37
Q

How do timed transitions work in UPPAAL?

A

!

38
Q

How may deadlocks occur with timed transitions in UPPAAL?

A

!

39
Q

When can you perform a transition in UPPAAL?

A

!

40
Q

What are the restrictions on the usage of time in UPPAAL?

A

!

41
Q

What are timeless locations in UPPAAL?

A

!

42
Q

How are timeless locations implemented in UPPAAL?

A

!

43
Q

What are committed locations in UPPAAL?

A

!

44
Q

How can committed locations in UPPAAL lead to deadlock?

A

!

45
Q

What are urgent locations in UPPAAL?

A

!

46
Q

What is the difference between committed and urgent locations in UPPAAL?

A

!

47
Q

How does verification work with UPPAAL?

A

!

48
Q

What logic does UPPAAL use for its properties?

A

!

49
Q

How do you add timing constraints to UPPAAL models?

A

!

50
Q

How do you check UUPPAL specifications against deadlocks?

A

!

CS4052 Logic and Software Verification (17 decks)

Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions