Difference between revisions of "Publications"
From CVC4
(Created page with "Papers about the tool * Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. [http://cs.nyu.edu/…") |
(No difference)
|
Revision as of 15:03, 17 September 2012
Papers about the tool
- Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. CVC4. In Ganesh Gopalakrishnan and Shaz Qadeer, editors, Proceedings of the Twenty-Third International Conference on Computer Aided Verification (CAV '11), volume 6806 of Lecture Notes in Computer Science, pages 171-177. Springer, July 2011. Snowbird, Utah.
Papers describing original research that was incorporated into CVC4
- Theory Combination
Applications of CVC4
