Do We Need Liveness? Approximation of Liveness Properties by Safety Properties.
Submitted to Information Processing Letters (IPL)
Full text not available from this repository.
We explore in this paper the approximation of a liveness property by a safety property (with respect to a given system behaviour). The approximation is such that, if a system satisfies only the approximation of a linear-time property but not the property itself, we will only detect this by observing the system for an infinite time. As an infinitely long observation is practically impossible, we must deem the property to hold as soon as its approximation is satisfied.
Actions (login required)