Author:
Jin HoonSang,Awedh Mohammad,Somenzi Fabio
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Awedh, M., Somenzi, F.: Proving more properties with bounded model checking.These proceedings
2. Lecture Notes in Computer Science;A. Biere,1999
3. Lecture Notes in Computer Science;R.K. Brayton,1996
4. Cabodi, G., Nocco, S., Quer, S.: Improving SAT-based bounded model checking by means of BDD-based approximate traversal. In: Proceedings of the Conference on Design, Automation and Test in Europe, Munich, Germany, March 2003, pp. 898–905 (2003)
5. Eén, N., Sörensson, N.: Temporal induction by incremental SAT solving. Electronic Notes in Theoretical Computer Science, 89(4),(2003);
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献