Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.

Immutability (Temporal properties are immutable in the sense that changing the value results in a new value being added to the properties history).

A video sequence possesses not only spatial properties like images, such as color, edge, texture, but also temporal properties, namely, the motion information.