Publications

From CVC4
Revision as of 15:04, 17 September 2012 by Mdeters (Talk | contribs)

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. Lecture Notes in Computer Science, 2011, Volume 6806, Computer Aided Verification, Pages 171-177.

Papers describing original research that was incorporated into CVC4

  • Theory Combination

Applications of CVC4

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