Liveness-preserving simulation relations

Research output: Contribution to conferencePaperpeer-review

8 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
DOIs
StatePublished - 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

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Liveness-preserving simulation relations'. Together they form a unique fingerprint.

Cite this