Monthly Archives: July 2013

Synthesis Competition(s) at CAV 2014

This is the first post on! In the future, will report news and host discussions about the synthesis competition. We begin with the announcement that there will be competitions for both functional and reactive synthesis at CAV 2014. We are currently figuring out the details and will keep you updated and ask for your opinion right here.

Content will be added to this page in the coming days and weeks. For now, here is a list of imporant links:

The SyntComp mailing list

The SyntComp benchmark repository

The ExCape Project, with our sister competition on functional/software synthesis.