Difference between revisions of "Related Links"
From CVC4
| Line 1: | Line 1: | ||
| − | Satisfiability Modulo Theories (SMT) | + | ==Satisfiability Modulo Theories (SMT)== |
* [http://www.smtlib.org/ SMT-LIB Initiative] | * [http://www.smtlib.org/ SMT-LIB Initiative] | ||
* [http://www.smtcomp.org/ SMT-COMP Competition] | * [http://www.smtcomp.org/ SMT-COMP Competition] | ||
| Line 6: | Line 6: | ||
* SMT Workshops: [http://www.lsi.upc.edu/~oliveras/smt07/ 2007] [http://research.microsoft.com/en-us/um/redmond/events/smt08/ 2008] [http://ie.technion.ac.il/SMT09/ 2009] [http://www.cprover.org/SMT10/ 2010] [http://uclid.eecs.berkeley.edu/smt11/ 2011] [http://smt2012.loria.fr/ 2012] | * SMT Workshops: [http://www.lsi.upc.edu/~oliveras/smt07/ 2007] [http://research.microsoft.com/en-us/um/redmond/events/smt08/ 2008] [http://ie.technion.ac.il/SMT09/ 2009] [http://www.cprover.org/SMT10/ 2010] [http://uclid.eecs.berkeley.edu/smt11/ 2011] [http://smt2012.loria.fr/ 2012] | ||
| − | CVC4's Predecessors | + | ==CVC4's Predecessors== |
* [http://verify.stanford.edu/SVC/ SVC] | * [http://verify.stanford.edu/SVC/ SVC] | ||
* [http://verify.stanford.edu/CVC/ CVC] | * [http://verify.stanford.edu/CVC/ CVC] | ||
| Line 12: | Line 12: | ||
* [http://www.cs.nyu.edu/acsys/cvc3/ CVC3] | * [http://www.cs.nyu.edu/acsys/cvc3/ CVC3] | ||
| − | 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://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] | ||
* [http://verify.stanford.edu/ Stanford Formal Verification Group] | * [http://verify.stanford.edu/ Stanford Formal Verification Group] | ||
Revision as of 14:51, 17 September 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
