Acknowledgments

SMT-COMP 2014 is co-organized by:

• David Cok : GrammaTech, USA
• David Deharbe : Federal University of Rio Grande do Norte, Brazil
• Tjark Weber : Uppsala University, Sweden

The competition uses the STAR-EXEC server, which is hosted at The University of Iowa.

The U.S. National Science Foundation, under grant CNS-0551697 supported the earlier SMTExec computational cluster.

Cok's contribution is supported by GrammaTech, Inc. and by the NSF under grant ACI-1314674.

The SMTCOMP web site is hosted on sourceforge, at smtcomp.sourceforge.net, currently maintained by David Cok.

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Last modified: Tue 17 Feb 2015 15:00 UTC