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 286 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13

2. Efficient Temporal Logic Runtime Monitoring for Tiny Systems;Lecture Notes in Computer Science;2024-09-10

3. Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08

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

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