Linear Temporal Logic
see
linear temporal logic
Linear Temporal LogicLinear Temporal Logic