Difference between revisions of "Publications"
From CVC4
| Line 6: | Line 6: | ||
** Dejan Jovanović and Clark Barrett. [http://cs.nyu.edu/~barrett/pubs/JB10-SMT.pdf Sharing is Caring]. In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (SMT '10), July 2010. | ** Dejan Jovanović and Clark Barrett. [http://cs.nyu.edu/~barrett/pubs/JB10-SMT.pdf Sharing is Caring]. In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (SMT '10), July 2010. | ||
** Dejan Jovanović and Clark Barrett. [http://cs.nyu.edu/~barrett/pubs/JB10-TR.pdf Polite Theories Revisited]. In Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '10), volume 6397 of Lecture Notes in Computer Science, pages 402-416. Springer, October 2010. Yogyakarta, Indonesia. | ** Dejan Jovanović and Clark Barrett. [http://cs.nyu.edu/~barrett/pubs/JB10-TR.pdf Polite Theories Revisited]. In Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '10), volume 6397 of Lecture Notes in Computer Science, pages 402-416. Springer, October 2010. Yogyakarta, Indonesia. | ||
| − | |||
| − | |||
Applications of CVC4 | Applications of CVC4 | ||
| + | * Tim King and Clark Barrett. [http://cs.nyu.edu/~barrett/pubs/KB11.pdf Exploring and Categorizing Error Spaces using BMC and SMT]. In Proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT '11), July 2011. | ||
Revision as of 19:01, 30 November 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
- Dejan Jovanović and Clark Barrett. Sharing is Caring. In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (SMT '10), July 2010.
- Dejan Jovanović and Clark Barrett. Polite Theories Revisited. In Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '10), volume 6397 of Lecture Notes in Computer Science, pages 402-416. Springer, October 2010. Yogyakarta, Indonesia.
Applications of CVC4
- Tim King and Clark Barrett. Exploring and Categorizing Error Spaces using BMC and SMT. In Proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT '11), July 2011.
