Efficient model checking by automated ordering of transition relation partitions-Reference-Cited by-同舟云学术

Efficient model checking by automated ordering of transition relation partitions

Published:1994 Issue: Volume: Page:299-310
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Geist Daniel,Beer Ilan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58179-0_63.pdf

Reference12 articles.

1. Ilan Beer, Michael Yoeli, Shoham Ben-David, and Daniel Geist. Methodology and System for Practical Formal Verification of Reactive Hardware. Accepted to CAV 94, 1994.

2. Karl. S. Brace, Richard L. Rudell, and Randal E. Bryant. Efficient Implentation of a BDD Package. In 27th ACM/IEEE Design Automation Conference, pages 40–45. ACM/IEEE, 1990.

3. Randal E. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35, 1986.

4. Randal E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24:298–318, September 1992.

5. Jerry R. Burch, Edmund M. Clarke, and David E. Long. Symbolic Model Checking with Partitioned Transition Relations. In International Conference on Very Large Scale Integration, Edinburg, Scotland, August 1991. IFIP.

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

1. From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET;Formal Methods;2021

2. Performance heuristics for GR(1) synthesis and related algorithms;Acta Informatica;2019-12-05

3. Equivalence Checking;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14

4. Formal Property Verification;Electronic Design Automation for IC System Design, Verification, and Testing;2016-04-14

5. Symbolic Model Checking for Interlocking Systems;Railway Safety, Reliability, and Security;2012