Probably safe or live-Reference-Cited by-同舟云学术

Probably safe or live

Published:2014-07-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
language:
Short-container-title:

Author:

Katoen Joost-Pieter¹,Song Lei²,Zhang Lijun³

Affiliation:

1. RWTH Aachen University, Germany

2. Universität des Saarlandes, Germany

3. Institute of Software, Chinese Academy of Sciences, China

Funder

Seventh Framework Programme

National Natural Science Foundation of China

Deutsche Forschungsgemeinschaft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2603088.2603147

Reference38 articles.

1. M. W. Alford J. P. Ansart G. Hommel L. Lamport B. Liskov G. P. Mullery and F. B. Schneider . Distributed Systems: Methods and Tools for Specification volume 190 of LNCS . Springer-Verlag 1985 . M. W. Alford J. P. Ansart G. Hommel L. Lamport B. Liskov G. P. Mullery and F. B. Schneider. Distributed Systems: Methods and Tools for Specification volume 190 of LNCS . Springer-Verlag 1985.

2. Recognizing safety and liveness

3. Safety without stuttering

4. Comparative branching-time semantics for Markov chains

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

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

2. Approximate Safety Properties in Metric Transition Systems;IEEE Transactions on Reliability;2022-03

3. On relative and probabilistic finite counterability;Formal Methods in System Design;2017-04-12

4. Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes;ACM Transactions on Software Engineering and Methodology;2016-08-22

5. The Probabilistic Model Checking Landscape;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05