A New Approach to Upward-Closed Set Backward Reachability Analysis-Reference-Cited by-同舟云学术

A New Approach to Upward-Closed Set Backward Reachability Analysis

Published:2005-12 Issue:3 Volume:138 Page:37-48
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bingham Jesse

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference11 articles.

1. P. Aziz Abdulla, K. Cerans, B. Jonsson, and T. Yih-Kuen. General decidability theorems for infinite-state systems. In 10th Annual IEEE Symp. on Logic in Computer Science (LICS'96), pages 313–321, 1996

2. J. Bingham. A new approach to upward-closed set backward reachability analysis. Technical report, University of British Columbia Department of Computer Science, 2004. TR-2004-07

3. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. on Computers,1986

4. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Conf. on Logic in Computer Science, pages 428–439, 1990

5. G. Delzanno and J.F. Raskin. Symbolic representation of upward-closed sets. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 7th Int'l Conf., pages 426–440, 2000

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

1. Interprocedural Context-Unbounded Program Analysis Using Observation Sequences;ACM Transactions on Programming Languages and Systems;2020-12-31

2. CUBA: interprocedural Context-UnBounded Analysis of concurrent programs;ACM SIGPLAN Notices;2018-12-02

3. CUBA: interprocedural Context-UnBounded Analysis of concurrent programs;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11

4. Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs;Fundamentals of Software Engineering;2012

5. Dynamic Cutoff Detection in Parameterized Concurrent Programs;Computer Aided Verification;2010