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

26 Readers on Mendeley
by Discipline
by Academic Status
42% Ph.D. Student
12% Professor
8% Doctoral Student
by Country
8% United Kingdom
8% Brazil
8% France

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