Real-time applications like multimedia audio and video are
increasingly populating the workstation desktop.
Real-time applications software should be deployed on platforms
for running.
Most real-time applications need to execute continuously till
the processor is turned off or has been reset.
Many real-time applications involve a continuous flow of
information which is transferred from one location to another in an
extended period of time.
It is used to describe a sequence of data associated with
real-world events, eg, as emitted by sensors, devices, or other
applications, such as a stock ticker.
In most reactive or real-time applications, it is necessary to
be able to formally verify properties of program that are live ness
of safety properties, respect of total or partial
specifications.