Publications

From CVC4
Revision as of 14:03, 17 September 2012 by Mdeters (Talk | contribs) (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/…")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=Publications&oldid=3442"