Skip to content

Safety and liveness properties: A survey

by 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

28 Readers on Mendeley
by Discipline
96% Computer Science
4% Engineering
by Academic Status
32% Student > Ph. D. Student
18% Researcher
14% Professor > Associate Professor
by Country
7% France
7% United Kingdom
7% Brazil

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