Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Combining Theorem Proving and Model Checking through Symbolic Analysis Read chapter Read first chapter

2000 | OriginalPaper | Chapter

Revisiting Safety and Liveness in the Context of Failures

Authors : Bernadette Charron-Bost, Sam Toueg, Anindya Basu

Published in: CONCUR 2000 — Concurrency Theory

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Safety and liveness are two fundamental concepts for proving the correctness of concurrent programs. In the context of failures, however, we observe that some properties that are commonly believed to be safety properties are actually liveness properties. In this paper, we propose refinements of the concepts of safety and liveness that avoid this counterintuitive classification.

previous chapter Emptiness Is Decidable for Asynchronous Cellular Machines
next chapter Well-Abstracted Transition Systems
Metadata
Title
Revisiting Safety and Liveness in the Context of Failures
Authors
Bernadette Charron-Bost
Sam Toueg
Anindya Basu
Copyright Year
2000
Publisher
Springer Berlin Heidelberg
Book
CONCUR 2000 — Concurrency Theory

Print ISBN: 978-3-540-67897-7

Electronic ISBN: 978-3-540-44618-7

Copyright Year: 2000

DOI
https://doi.org/10.1007/3-540-44618-4_39

Premium Partner

    Image Credits