Author:
Eén Niklas,Sörensson Niklas
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. J. Baumgartner, A. Kuehlmann, J. Abraham “Property Checking via Structural Analysis” in CAV 2002, LNCS:2404, Springer-Verlag.
2. “SAT-based Verification without State Space Traversal”;Bjesse,1954
3. “Symbolic model checking without BDDs”;Biere,1579
4. A. Biere, E.M. Clarke, R. Raimi, and Y. Zhu. “Verifying safety properties of a PowerPC[tm] microprocessor using symbolic model checking without BDDs” in CAV 1999, LNCS:1633.
5. “Graph-based algorithms for boolean function manipulation”;Bryant;IEEE Trans, on Computers,1986
Cited by
203 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献