The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Safety, liveness and fairness in temporal logic
The work
| Authors | A. Prasad Sistla |
|---|---|
| Editors | |
| Type | article |
| Year | 1994 |
| Citekey | sistla1994safety |
Where it appeared
| Published in | Formal Aspects of Computing |
|---|---|
| Publisher | Association for Computing Machinery (ACM) |
| Volume | 6 |
| Issue | 5 |
| Pages | 495--511 |
Identifiers
| DOI | 10.1007/bf01211865 |
|---|---|
| ISSN | 0934-5043 |
Access
| Landing page | https://doi.org/10.1007/bf01211865 |
|---|
From crossref.
Abstract
Abstract In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the verification of concurrent programs. Such a characterization helps us in choosing the right techniques for proving correctness with respect to these properties. The properties that we consider include safety properties, liveness properties and fairness properties. We also present algorithms for checking if a given temporal formula expresses any of these properties.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-26 03:44 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{sistla1994safety,
title = {Safety, liveness and fairness in temporal logic},
author = {A. Prasad Sistla},
year = {1994},
journal = {Formal Aspects of Computing},
publisher = {Association for Computing Machinery (ACM)},
volume = {6},
number = {5},
pages = {495--511},
issn = {0934-5043},
doi = {10.1007/bf01211865},
}
This record lives at https://refs.drheap.org/sistla1994safety/ and will keep doing so.