Invisible Safety of Distributed Protocols-Reference-Cited by-同舟云学术

Invisible Safety of Distributed Protocols

Published:2006 Issue: Volume: Page:528-539
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Balaban Ittai,Pnueli Amir,Zuck Lenore D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11787006_45.pdf

Reference18 articles.

1. Shankar, N., Owre, S., Rushby, J.M.: A tutorial on specification and verification using PVS. Technical report (1993)

2. Bjørner, N., Browne, I., Chang, E., Colón, M., Kapur, A., Manna, Z., Sipma, H., Uribe, T.: STeP: The Stanford Temporal Prover, User’s Manual. Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University (1995)

3. Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995)

4. Lecture Notes in Computer Science;A. Pnueli,2001

5. Lecture Notes in Computer Science;A. Pnueli,2001

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

1. Cardinalities and universal quantifiers for verifying parameterized systems;ACM SIGPLAN Notices;2016-08

2. Cardinalities and universal quantifiers for verifying parameterized systems;Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation;2016-06-02

3. Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances;Computer Aided Verification;2016

4. Limited Mobility, Eventual Stability;Hardware and Software: Verification and Testing;2015

5. Model Checking Paxos in Spin;Electronic Proceedings in Theoretical Computer Science;2014-08-24