Author:
Abdulla Parosh Aziz,Bjesse Per,Eén Niklas
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. H. R. Andersen and H. Hulgaard. Boolean expression diagrams. In Proc. 12th
IEEE Int. Symp. on Logic in Computer Science, pages 88–98, 1997. 413, 424
2. BCC+99._A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, and Y. Zhu. Symbolic model checking using SAT procedures instead of BDDs. In Design Automation Conference (DAC’99), 1999. 412
3. A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. TACAS’ 98, 8th
Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 1999. 412
4. J.R. Burch, E.M. Clarke, K.L. McMillan, and D.L. Dill. Symbolic model checking: 1020 states and beyond. Information and Computation, 98:142–170, 1992. 411
5. 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 Proc. 11th
Int. Conf. on Computer Aided Verification, 1999. 412
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献