Difference between revisions of "Related Links"
From CVC4
(Replaced individual links to SMT workshops with link to the workshop's website.) |
|||
(3 intermediate revisions by 3 users not shown) | |||
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] | ||
* [http://www.smtexec.org/ SMT-EXEC Service] | * [http://www.smtexec.org/ SMT-EXEC Service] | ||
+ | * [http://smt-workshop.org/ SMT Workshop Series] | ||
* PDPAR Workshops: [http://www.loria.fr/~ranise/pdpar03/ 2003] [http://www.loria.fr/~ranise/pdpar04/ 2004] [http://www.ai.dist.unige.it/pdpar05/ 2005] [http://dit.unitn.it/~rseba/pdpar06/ 2006] | * PDPAR Workshops: [http://www.loria.fr/~ranise/pdpar03/ 2003] [http://www.loria.fr/~ranise/pdpar04/ 2004] [http://www.ai.dist.unige.it/pdpar05/ 2005] [http://dit.unitn.it/~rseba/pdpar06/ 2006] | ||
− | |||
− | 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:// | + | * [http://clc.cs.uiowa.edu/ University of Iowa Computational Logic Center] |
− | + |
Latest revision as of 21:42, 25 November 2012
Satisfiability Modulo Theories (SMT)
- SMT-LIB Initiative
- SMT-COMP Competition
- SMT-EXEC Service
- SMT Workshop Series
- PDPAR Workshops: 2003 2004 2005 2006