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 and Applied Science > Electronics and Computer Science |
| Item ID: | 256129 |
| Date Deposited: | 06 Nov 2001 |
| Last Modified: | 01 Mar 2012 10:46 |
| Contributors: | Ultes-Nitsche, Ulrich (Author) |
| Date: | 2001 |
| Additional Information: | Sumitted to IPL in a revised version. Also technical report TR-DSSE-2001-5. |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/256129 |
Actions (login required)
 |
View Item |
