Author:
Clarke Edmund,Grumberg Orna,Jha Somesh,Lu Yuan,Veith Helmut
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Fujitsu aims media processor at DVD. MicroProcessor Report, pp. 11–13 (1996)
2. Balarin, F., Sangiovanni-Vincentelli, A.L.: An iterative approach to language containment. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 29–40. Springer, Heidelberg (1993)
3. Biere, A., Cimatti, A., Clarke, E., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Design Automation Conference, pp. 317–320 (1999)
4. Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: On ACTL formulas having deterministic counterexamples. Technical report, Vienna University of Technology (1999), available at http://www.kr.tuwien.ac.at/research/reports/index.html
5. Chauhan, P., Clarke, E., Lu, Y., Wang, D.: Verifying IP-core based System-On-Chip design. In: IEEE ASIC (September 1999)
Cited by
741 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献