The University of Southampton
University of Southampton Institutional Repository

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)

Record type: Article


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.

Full text not available from this repository.

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


Local EPrints ID: 256129
PURE UUID: a8633c69-1990-4cc7-a953-20c10cbf5e67

Catalogue record

Date deposited: 06 Nov 2001
Last modified: 18 Jul 2017 09:48

Export record


Author: Ulrich Ultes-Nitsche

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.