Do We Need Liveness? Approximation of Liveness Properties by Safety Properties
Do We Need Liveness? Approximation of Liveness Properties by Safety Properties
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.
Ultes-Nitsche, Ulrich
bfc7f0a6-3cbb-40af-9935-6dce3a88a10b
2001
Ultes-Nitsche, Ulrich
bfc7f0a6-3cbb-40af-9935-6dce3a88a10b
Ultes-Nitsche, Ulrich
(2001)
Do We Need Liveness? Approximation of Liveness Properties by Safety Properties.
Information Processing Letters (IPL).
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.
This record has no associated files available for download.
More information
Published date: 2001
Additional Information:
Sumitted to IPL in a revised version. Also technical report TR-DSSE-2001-5.
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 256129
URI: http://eprints.soton.ac.uk/id/eprint/256129
PURE UUID: a8633c69-1990-4cc7-a953-20c10cbf5e67
Catalogue record
Date deposited: 06 Nov 2001
Last modified: 10 Dec 2021 20:41
Export record
Contributors
Author:
Ulrich Ultes-Nitsche
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics