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/…") |
|||
| Line 1: | Line 1: | ||
Papers about the tool | 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/~barrett/pubs/BCD+11.pdf CVC4]. | + | * Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. [http://cs.nyu.edu/~barrett/pubs/BCD+11.pdf CVC4]. Lecture Notes in Computer Science, 2011, Volume 6806, Computer Aided Verification, Pages 171-177. |
Papers describing original research that was incorporated into CVC4 | Papers describing original research that was incorporated into CVC4 | ||
Revision as of 14:04, 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. 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
