Satisfaction up to Liveness � Automatic Verification based on Exhaustive Testing
Ultes-Nitsche, Ulrich (2000) Satisfaction up to Liveness � Automatic Verification based on Exhaustive Testing. Proceedings of the IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/ PSTV�2000) Kluwer, 237-248.
Download
Full text not available from this repository.
Description/Abstract
An approximation to the usual linear satisfaction of temporal properties is discussed in this paper. It is called satisfaction up to liveness as it only differs from the linear satisfaction relation on liveness but not on safety properties. From the point of view of observation, satisfaction up to liveness and linear satisfaction are indistinguishable. Roughly speaking, by observing all finite behaviours (exhaustive testing), we do not know whether a system satisfies a property up to liveness or linearly. Being indistinguishable from linear satisfaction in terms of complete observations, satisfaction up to liveness offers an alternative approach to model-checking.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Dordrecht, NL |
| ISBNs: | 0792379683 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 253951 |
| Date Deposited: | 25 Oct 2000 |
| Last Modified: | 02 Mar 2012 12:39 |
| Contributors: | Ultes-Nitsche, Ulrich (Author) Bolognesi, Tommaso (Editor) Latella, Diego (Editor) |
| Date: | October 2000 |
| Additional Information: | Address: Dordrecht, NL |
| Status: | Published |
| Publisher: | Kluwer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/253951 |
Actions (login required)
 |
View Item |
