Sign up & Download
Sign in

Safety and liveness properties: A survey

by Ekkart Kindler, Ekkart Kindler
Bulletin of the European Association for Theoretical Computer Science ()
  • ISSN: 02529742


The distinction of safety and liveness properties is often adopted in specification and design methods for distributed systems. We present a short survey on the "history" of these concepts and on papers that contributed to their general acceptance.

Cite this document (BETA)

Available from
Page 1
Page 2

Readership Statistics

22 Readers on Mendeley
by Discipline
by Academic Status
45% Ph.D. Student
14% Professor
9% Doctoral Student
by Country
9% Portugal
9% France
9% United Kingdom

Sign up today - FREE

Mendeley saves you time finding and organizing research. Learn more

  • All your research in one place
  • Add and import papers easily
  • Access it anywhere, anytime

Start using Mendeley in seconds!

Sign up & Download

Already have an account? Sign in