Temporal Properties: Properties that hold for a state in isolation are called state properties. Temporal (or path) properties relate state properties of distinct states in the state space to each other. Such properties are also referred to as dynamic properties. Temporal properties can be expressed as statements about the relation of different state properties along possible execution paths. For example, a temporal property can state that all paths which contain a send signal emitted at one state will also contain a later state where the signal has been received.