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.
||Sumitted to IPL in a revised version. Also technical report TR-DSSE-2001-5.
||Electronics & Computer Science
||06 Nov 2001
||17 Apr 2017 23:09
|Further Information:||Google Scholar|
Actions (login required)