Difference between revisions of "Related Links"
From CVC4
(→Other) |
m (Changed Iowa link to CLC site) |
||
| Line 14: | Line 14: | ||
==Other== | ==Other== | ||
* [http://www.cs.nyu.edu/acsys NYU Analysis of Computer Systems Group] | * [http://www.cs.nyu.edu/acsys NYU Analysis of Computer Systems Group] | ||
| − | * [http:// | + | * [http://clc.cs.uiowa.edu/ University of Iowa Computational Logic Center] |
Revision as of 16:16, 9 November 2012
Satisfiability Modulo Theories (SMT)
- SMT-LIB Initiative
- SMT-COMP Competition
- SMT-EXEC Service
- PDPAR Workshops: 2003 2004 2005 2006
- SMT Workshops: 2007 2008 2009 2010 2011 2012
