ในช่วงเริ่มต้นของการทดสอบขั้นสูงของหน่วยงานวิจัยขั้นสูงของหน่วยงานกลาโหมของกองทัพสหรัฐฯ (DARPA) การทดลองตรวจสอบอย่างเป็นทางการ (CSFV) เปิดตัวในปี 2556 การทดลองนี้ถูกสร้างขึ้นเพื่อต่อสู้กับข้อผิดพลาดที่แพง
จากสมมติฐานที่ว่า "ผู้ที่ไม่ใช่ผู้เชี่ยวชาญจำนวนมากสามารถทำการตรวจสอบอย่างเป็นทางการได้เร็วขึ้นและคุ้มค่ากว่ากระบวนการทั่วไป" DARPA ออกแบบโปรแกรม CSFV เพื่อตรวจสอบรหัสจำนวนมากเพื่อความถูกต้องโดยใช้วิดีโอเกมบนเบราว์เซอร์
เมื่อวันพุธที่ผ่านมา DARPA ประกาศความสำเร็จของโปรแกรมและประกาศการเพิ่มเกมใหม่ห้าเกมให้กับผู้เล่นตัวจริงที่มีอยู่เดิม จากบล็อก DARPA:
เกมเหล่านี้ได้ทำการแปลการกระทำของผู้เล่นเป็นคำอธิบายประกอบของโปรแกรมและช่วยเหลือผู้เชี่ยวชาญในการตรวจสอบอย่างเป็นทางการในการสร้างหลักฐานทางคณิตศาสตร์เพื่อตรวจสอบว่าไม่มีข้อบกพร่องที่สำคัญในภาษาการเขียนโปรแกรม "C" และ "Java" การวิเคราะห์เบื้องต้นบ่งชี้ว่าผู้ที่ไม่ใช่ผู้เชี่ยวชาญที่เล่นเกม CSFV สร้างหมายเหตุประกอบหลายแสนรายการ
ชื่อใหม่รวมถึง puzzlers Dynamakr, บุคคลที่ผิดธรรมดาและ ฟิชชันไบนารี"เกมวิทยาศาสตร์" Ghost Map Hyperspaceและซิมแฟนตาซี หลักฐานมอนสเตอร์. เกม CSFV ทั้งหมดของ DARPA รวมถึงเกมในช่วงโครงการ 2013 มีให้เล่นทางออนไลน์ที่ Verigames ผู้เล่นเกมต้องมีอายุ 18 ปีขึ้นไปจึงจะเข้าร่วมได้