La phase initiale de l'expérimentation de vérification formelle en diffusion groupée (CSFV) lancée par l'Agence de recherches avancée de l'armée américaine (DARPA) a été lancée en 2013. Cette expérience a été créée pour lutter contre les pièges coûteux et fastidieux des méthodes de vérification de code traditionnelles.
DARPA a conçu le programme CSFV pour vérifier la précision des lots de code volumineux à l’aide de jeux vidéo basés sur un navigateur.
Mercredi, la DARPA a proclamé le programme comme un succès et a annoncé l’ajout de cinq nouveaux jeux à sa gamme actuelle. Du blog DARPA:
Ces jeux [2013] traduisaient les actions des joueurs en annotations de programmes et aidaient les experts en vérification formelle à générer des preuves mathématiques permettant de vérifier l'absence d'importantes classes de défauts dans les langages de programmation "C" et "Java". Une analyse initiale indique que les non-experts jouant à des jeux CSFV ont généré des centaines de milliers d'annotations.
Les nouveaux titres incluent des puzzlers Dynamakr, Paradoxe, et Fission binaire, "jeu scientifique" Hyperspace de carte fantômeet sim de sim Preuve de monstre. Tous les jeux CSFV de DARPA, y compris ceux de la phase de projet 2013, sont disponibles en ligne sur Verigames. Les joueurs doivent avoir 18 ans ou plus pour participer.