A Work-Efficient Distributed Algorithm for Reachability Analysis-Reference-Cited by-同舟云学术

A Work-Efficient Distributed Algorithm for Reachability Analysis

Published:2003 Issue: Volume: Page:54-66
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Grumberg Orna,Heyman Tamir,Schuster Assaf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45069-6_5

Reference19 articles.

1. Lecture Notes in Computer Science;N. Amla,2003

2. Beer, I., Ben-David, S., Eisner, C., Landver, A.: Rulebase: An Industry-Oriented Formal Verification Tool. In: 33rd Design Automation Conf., pp. 655–660 (1996)

3. Beer, I., Ben-David, S., Landver, A.: On-the-Fly Model Checking of RCTL Formulas. In: CAV 1994. LNCS, vol. 818 (1998)

4. Lecture Notes in Computer Science;A. Biere,1999

5. Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic model checking with partitioned transition relations. In: Halaas, A., Denyer, P.B. (eds.) Proc. of the 1991 Int. Conference on Very Large Scale Integration (August 1991)

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

1. Model Checking of Biological Systems;Lecture Notes in Computer Science;2013

2. Parallel symbolic state-space exploration is difficult, but what is the alternative?;Electronic Proceedings in Theoretical Computer Science;2009-12-15

3. GSTE is partitioned model checking;Formal Methods in System Design;2007-05-26

4. Can Saturation Be Parallelised?;Formal Methods: Applications and Technology;2007

5. A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation;Electronic Notes in Theoretical Computer Science;2006-02