Difference between revisions of "Related Links"
From CVC4
(→Other) |
|||
| Line 15: | Line 15: | ||
* [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://www.cs.uiowa.edu/~tinelli Cesare Tinelli's page at University of Iowa] | * [http://www.cs.uiowa.edu/~tinelli Cesare Tinelli's page at University of Iowa] | ||
| − | |||
Revision as of 13:32, 10 October 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
