Liveness-preserving simulation relations

Research output: Contribution to conferencePaper

7 Scopus citations

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 languageEnglish (US)
Pages63-72
Number of pages10
StatePublished - Jan 1 1999
Externally publishedYes
EventProceedings of the 1999 18th Annual ACM Symposium on Principles of Distributed Computing (PODC), FCRC'99 - Atlanta, GA, USA
Duration: May 3 1999May 6 1999

Conference

ConferenceProceedings of the 1999 18th Annual ACM Symposium on Principles of Distributed Computing (PODC), FCRC'99
CityAtlanta, GA, USA
Period5/3/995/6/99

    Fingerprint

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Cite this

Attie, P. C. (1999). Liveness-preserving simulation relations. 63-72. Paper presented at Proceedings of the 1999 18th Annual ACM Symposium on Principles of Distributed Computing (PODC), FCRC'99, Atlanta, GA, USA, .