Η αρχική φάση του πειράματος επίσημης επαλήθευσης (CSFV) του Οργανισμού Άμυνας των Προηγμένων Ερευνητικών Έργων του Αμερικανικού Στρατού (DARPA) ξεκίνησε το 2013. Το πείραμα δημιουργήθηκε για την καταπολέμηση των δαπανηρών και χρονοβόρων παγίδων των παραδοσιακών μεθόδων ελέγχου κώδικα.
Εργάζοντας με την υπόθεση ότι "μεγάλος αριθμός μη ειδικών μπορεί να πραγματοποιήσει επίσημη επαλήθευση πιο γρήγορα και οικονομικά από τις συμβατικές διαδικασίες", η DARPA σχεδίασε το πρόγραμμα CSFV για να ελέγξει μεγάλες παρτίδες κώδικα για ακρίβεια χρησιμοποιώντας βιντεοπαιχνίδια που βασίζονται σε προγράμματα περιήγησης.
Την Τετάρτη, η DARPA ανακήρυξε το πρόγραμμα με επιτυχία και ανακοίνωσε την προσθήκη πέντε νέων παιχνιδιών στην υπάρχουσα σύνθεση του. Από το blog του DARPA:
Αυτά τα παιχνίδια [2013] μεταφράζουν τις ενέργειες των παικτών σε σχολιασμούς προγραμμάτων και βοηθούν τους επίσημους εμπειρογνώμονες επαλήθευσης στη δημιουργία μαθηματικών αποδείξεων για την επαλήθευση της απουσίας σημαντικών κατηγοριών ελαττωμάτων στις γλώσσες προγραμματισμού "C" και "Java". Μια πρώτη ανάλυση δείχνει ότι οι μη ειδικοί που παίζουν παιχνίδια CSFV δημιούργησαν εκατοντάδες χιλιάδες σχολιασμούς.
Οι νέοι τίτλοι περιλαμβάνουν γρίφους Dynamakr, Παράδοξο, και Δυαδική σχάση, "παιχνίδι επιστήμης" Χάρτης υπερευαισθησίας φαντασμάτων, και το φανταστικό sim Monster Απόδειξη. Όλα τα παιχνίδια CSFV της DARPA, συμπεριλαμβανομένων εκείνων από τη φάση του έργου 2013, διατίθενται στο διαδίκτυο στο Verigames. Οι παίκτες πρέπει να είναι 18 ετών ή μεγαλύτεροι για να συμμετάσχουν.