Abstract
We present a simulation-based proof method for liveness properties. Our method is based on simulation relations that relate the liveness properties of an implementation to those of the specification. Even though reasoning about liveness is usually associated with reasoning over entire executions, variant functions, fairness etc., our method requires reasoning over individual states/transitions only. It thus presents a significant methodological advance over current methods.
Original language | English (US) |
---|---|
Pages | 63-72 |
Number of pages | 10 |
DOIs | |
State | Published - 1999 |
Externally published | Yes |
Event | Proceedings of the 1999 18th Annual ACM Symposium on Principles of Distributed Computing (PODC), FCRC'99 - Atlanta, GA, USA Duration: May 3 1999 → May 6 1999 |
Conference
Conference | Proceedings of the 1999 18th Annual ACM Symposium on Principles of Distributed Computing (PODC), FCRC'99 |
---|---|
City | Atlanta, GA, USA |
Period | 5/3/99 → 5/6/99 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Computer Networks and Communications