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...