Difference between revisions of "Related Links"

From CVC4

Latest revision as of 21:42, 25 November 2012

@@ Line 1: / Line 1: @@
-Satisfiability Modulo Theories (SMT)
+==Satisfiability Modulo Theories (SMT)==
 * [http://www.smtlib.org/ SMT-LIB Initiative]
 * [http://www.smtcomp.org/ SMT-COMP Competition]
 * [http://www.smtexec.org/ SMT-EXEC Service]
-* PDPAR Workshops:
+* [http://smt-workshop.org/ SMT Workshop Series]
-[http://www.loria.fr/~ranise/pdpar03/ 2003]
+* 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]
-[http://www.loria.fr/~ranise/pdpar04/ 2004]
-[http://www.ai.dist.unige.it/pdpar05/ 2005]
-[http://dit.unitn.it/~rseba/pdpar06/ 2006]
-* 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]
-CVC4's Predecessors
+==CVC4's Predecessors==
 * [http://verify.stanford.edu/SVC/ SVC]
 * [http://verify.stanford.edu/CVC/ CVC]
@@ Line 19: / Line 12: @@
 * [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.uiowa.edu/~tinelli Cesare Tinelli's page at University of Iowa]
+* [http://clc.cs.uiowa.edu/ University of Iowa Computational Logic Center]
-* [http://verify.stanford.edu/ Stanford Formal Verification Group]