Do We Need Liveness? Approximation of Liveness Properties by Safety Properties
Ultes-Nitsche, Ulrich (2001) 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.
|Additional Information:||Sumitted to IPL in a revised version. Also technical report TR-DSSE-2001-5.|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science
|Date Deposited:||06 Nov 2001|
|Last Modified:||27 Mar 2014 19:58|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)