7.1 Breaking Bad Flashcards
1
Q
What is ‘safety’
A
Whether the programme has meaning (ie can derive a final state)
2
Q
What are some non-terminating states for this program
A
b <= 0 and b <= a
3
Q
What is the derivation tree for this program with state: a = 42, b = 0.
A
4
Q
Prove this program doesn’t terminate using a loop-invariant
A
5
Q
What is a loop variant
A
6
Q
What is the only way While programmes can go wrong
A
Non-termination
