Fully local and efficient evaluation of alternating fixed points-Reference-Cited by-同舟云学术

Fully local and efficient evaluation of alternating fixed points

Published:1998 Issue: Volume: Page:5-19
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Liu Xinxin,Ramakrishnan C. R.,Smolka Scott A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0054161

Reference24 articles.

1. H. R. Andersen. Model checking and boolean graphs. Theoretical Computer Science, 126(1), 1994.

2. G. S. Bhat and R. Cleaveland. Efficient local model checking for fragments of the modal Μ-calculus. In T. Margaria and B. Steffen, editors, Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), Vol. 1055 of Lecture Notes in Computer Science, pages 107–126. Springer-Verlag, March 1996.

3. G. S. Bhat and R. Cleaveland. Efficient model checking via the equational Μ-calculus. In E. M. Clarke, editor, 11th Annual Symposium on Logic in Computer Science (LICS '96), pages 304–312, New Brunswick, NJ, July 1996. Computer Society Press.

4. E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In D. Kozen, editor, Proceedings of the Workshop on Logic of Programs, Yorktown Heights, volume 131 of Lecture Notes in Computer Science, pages 52–71. Springer-Verlag, 1981.

5. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2), 1986.

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

1. Elimination of Detached Regions in Dependency Graph Verification;Model Checking Software;2023

2. Extended abstract dependency graphs;International Journal on Software Tools for Technology Transfer;2021-08-07

3. Abstract Dependency Graphs and Their Application to Model Checking;Tools and Algorithms for the Construction and Analysis of Systems;2019

4. Distributed Computation of Fixed Points on Dependency Graphs;Dependable Software Engineering: Theories, Tools, and Applications;2016

5. Efficient model-checking of weighted CTL with upper-bound constraints;International Journal on Software Tools for Technology Transfer;2014-11-20