Recognizing safety and liveness-Reference-Cited by-同舟云学术

Recognizing safety and liveness

Published:1987-09 Issue:3 Volume:2 Page:117-126
ISSN:0178-2770
Container-title:Distributed Computing
language:en
Short-container-title:Distrib Comput

Author:

Alpern Bowen,Schneider Fred B.

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01782772.pdf

Reference19 articles.

1. Alpern B (1986) Proving temporal properties of concurrent programs: a non-temporal approach. PhD Thesis. Department of Computer Science, Cornell University (January 1986)

2. Alpern B, Demers AJ, Schneider FB (1986) Safety without stuttering. Inf Proc Lett 23(4): 177–180

3. Alpern B, Schneider FB (1985) Defining liveness. Inf Proc Lett 21:181–185

4. Alpern B, Schneider FB (1985) Verifying temporal properties without using temporal logic. Tech Rep TR 85-723, Department of Computer Science, Cornell University (December 1985)

5. Alpern B, Schneider FB (1987) Proving boolean combinations of deterministic properties. Proc 2nd Ann Symp Logic Comput Sci; IEEE Comput Soc, Ithaca, NY (June 1987)

Cited by 279 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extending the range of bugs that automated program repair can handle;Journal of Systems and Software;2024-03

2. Next Generation Vehicles, Safety, and Cybersecurity—The CMX Framework;IEEE Transactions on Intelligent Transportation Systems;2024-02

3. Perspective Games;ACM Transactions on Computational Logic;2024-01-17

4. A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic;IEEE Transactions on Automatic Control;2024-01

5. TP-DejaVu: Combining Operational and Declarative Runtime Verification;Lecture Notes in Computer Science;2023-12-30