The Safety-Progress Classification-Reference-Cited by-同舟云学术

The Safety-Progress Classification

Published:1993 Issue: Volume: Page:143-202
ISSN:
Container-title:Logic and Algebra of Specification
language:
Short-container-title:

Author:

Chang Edward,Manna Zohar,Pnueli Amir

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-58041-3_5.pdf

Reference26 articles.

1. B. Alpern and F.B. Schneider. Defining liveness. Info. Proc. Lett, 21:181–185, 1985.

2. B. Alpern and F.B. Schneider. Recognizing safety and liveness. Diat. Comp., 2:117–126, 1987.

3. B. Alpern and F.B. Schneider. Verifying temporal properties without temporal logic. ACM Trans. Prog. Lang. Sys., 11:147–167, 1989.

4. D. Gabbay. The declarative past and imperative future. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, pages 407–448. Lee. Notes in Comp. Sci. 398, Springer-Verlag, 1987.

5. M. Kaminski. A classification of ω-regular languages. Theor. Comp. Sci., 36:217–229, 1985.

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

1. On first-order runtime enforcement of branching-time properties;Acta Informatica;2023-08-03

2. A modular pipeline for enforcement of security properties at runtime;Annals of Telecommunications;2023-04-17

3. Quantitative Safety and Liveness;Lecture Notes in Computer Science;2023

4. Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic;ACM Transactions on Computational Logic;2022-01-14

5. A Modular Runtime Enforcement Model Using Multi-traces;Foundations and Practice of Security;2022