Author:
Clarke Edmund,Kroening Daniel,Lerda Flavio
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Biere, A., Cimatti, A., Clarke, E.M., Yhu, Y.: Symbolic model checking without BDDs. In: Tools and Algorithms for Construction and Analysis of Systems, pp. 193–207 (1999)
2. Pixley, C.: Guest Editor’s Introduction: Formal Verification of Commercial Integrated Circuits. IEEE Design & Test of Computers 18(4), 4–5 (2001)
3. Clarke, E., Kroening, D., Yorav, K.: Behavioral consistency of C and Verilog programs using Bounded Model Checking. Technical Report CMU-CS-03-126, Carnegie Mellon University, School of Computer Science (2003)
4. Kroening, D., Clarke, E., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: Proceedings of DAC 2003, pp. 368–371. ACM Press, New York (2003)
5. Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proceedings of the 38th Design Automation Conference (DAC 2001) (June 2001)
Cited by
799 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献