השלב הראשוני של צבא ההגנה של ארה"ב מתקדם מחקר פרוייקטים של הסוכנות (DARPA) קהל המקור ssced אימות (CSFV) הניסוי הושק בשנת 2013. הניסוי נוצר כדי להילחם יקר, זמן רב pitfalls של שיטות אימות קוד המסורתית.
על פי ההשערה כי "מספר גדול של מומחים שאינם יכולים לבצע אימות רשמי מהר יותר וחסכוני יותר מאשר תהליכים קונבנציונליים", DARPA עיצב את תוכנית CSFV לבדיקת קבוצות גדולות של קוד לדיוק באמצעות משחקי וידאו מבוססי דפדפן.
ביום רביעי, DARPA הכריז על התוכנית בהצלחה והודיע על תוספת של חמישה משחקים חדשים להרכב הקיים שלה. מתוך הבלוג של DARPA:
המשחקים האלה [2013] תרגמו את פעולות השחקנים לתוך הערות התוכנית וסייעו למומחי אימות פורמליים ביצירת הוכחות מתמטיות כדי לאמת את היעדרם של סוגים חשובים של פגמים בשפות התכנות "C" ו- "Java". ניתוח ראשוני עולה כי לא מומחים ששיחקו משחקי CSFV יצרו מאות אלפי הסברים.
הכותרות החדשות כוללות פאזלים דינמקר, פרדוקס, ו פיצול בינארי, "משחק מדע" מפת רפאים, ו פנטזיה sim מפלצת הוכחה. כל משחקי CSFV של DARPA, כולל אלה משלב הפרויקט לשנת 2013, זמינים באופן מקוון ב- Verigames. השחקנים חייבים להיות בני 18 ומעלה כדי להשתתף.