Author:
Bryant Randal E.,Lahiri Shuvendu K.,Seshia Sanjit A.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Ackermann, W.: Solvable Cases of the Decision Problem. North-Holland, Amsterdam (1954)
2. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Springer, Heidelberg (1997)
3. Bryant, R.E., German, S., Velev, M.N.: Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. ACM Transactions on Computational Logic 2(1), 1–41 (2001)
4. Lecture Notes in Computer Science;R.E. Bryant,2002
5. Bryant, R.E., Lahiri, S.K., Seshia, S.A.: Convergence testing in term-level bounded model checking. Technical Report CMU-CS-03-156, Carnegie Mellon University (2003)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献