Author:
Yang Zijiang,Sakallah Karem
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Andraus, Z., Sakallah, K.: Automatic abstraction and verification of verilog models. In: Design Automation Conference (DAC), San Diego, California, pp. 218–223 (2004)
2. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.: Automatic predicate abstraction of c programs. In: Programming Language Design and Implementation, pp. 203–213 (2001)
3. Lecture Notes in Computer Science;R. Bryant,2007
4. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8) (1986)
5. Burckhardt, S., Alur, R., Martin, M.M.K.: Checkfence: checking consistency of concurrent data types on relaxed memory models. In: Programming language Design and Implementation, pp. 12–21. ACM Press, New York (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献