Simple Temporal Logic
Execution of algorithm
- Sequence of steps.
- Each step produces new state changing the values of variables.
- Execution is sequence of states.
- Semantic meaning of algorithm is collection of all possible executions.
Temporal logic allows reasoning about sequences of states.
Author: Wolfgang Schreiner
Last Modification: May 14, 1998