|
Traces
Traces
- A trace is a sequence of states in the state transition graph starting from an initial state.
- A trace could be finite or infinite.
- Finite trace : red, red, green,yellow, red.
- CTL talks about infinite traces.
- Why are we concerned with infinite traces?
- Because we are concerned with eventualities - “eventually something good happens”.
|