The COST IC0701 Verification Competition 2011
Résumé
This paper reports on the experiences with the program veri fication competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three di fferent challenges that were posed and the solutions developed by the teams. We conclude with a discussion about the value of such competitions and lessons learned from them.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...