Liveness by Invisible Invariants-Reference-Cited by-同舟云学术

Liveness by Invisible Invariants

Published:2006 Issue: Volume: Page:356-371
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Fang Yi,McMillan Kenneth L.,Pnueli Amir,Zuck Lenore D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11888116_26

Reference24 articles.

1. Apt, K.R., Kozen, D.: Limits for automatic program verification of finite-state concurrent systems. Info. Proc. Lett. 22(6) (1986)

2. Lecture Notes in Computer Science;T. Arons,2001

3. Lecture Notes in Computer Science;T. Arons,2003

4. Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. In: Cleaveland, R., Garavel, H. (eds.) Electronic Notes in Theoretical Computer Science, vol. 66. Elsevier, Amsterdam (2002)

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

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

1. Temporal prophecy for proving temporal properties of infinite-state systems;Formal Methods in System Design;2021-07-23

2. Invisible Invariants Are Neither;From Reactive Systems to Cyber-Physical Systems;2019

3. Reducing liveness to safety in first-order logic;Proceedings of the ACM on Programming Languages;2018-01

4. Decidability of Parameterized Verification;Synthesis Lectures on Distributed Computing Theory;2015-09-29

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