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)

Readership Statistics

22 Readers on Mendeley
by Discipline
by Academic Status
45% Ph.D. Student
14% Professor
9% Associate Professor
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!

Already have an account? Sign in