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)

Download

Full text not available from this repository.

Description/Abstract

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.

Item Type: Article
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
ePrint ID: 256129
Date Deposited: 06 Nov 2001
Last Modified: 27 Mar 2014 19:58
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/256129

Actions (login required)

View Item View Item