تم إطلاق المرحلة الأولى من تجربة التحقق الرسمي (CSFV) التابعة لوكالة الدفاع المتقدمة التابعة لجيش الولايات المتحدة ، والتي تم إطلاقها في عام 2013. تم إنشاء التجربة لمحاربة المزالق الباهظة الثمن والمستهلكة للوقت لطرق التحقق من الكود التقليدية.
انطلاقًا من فرضية أن "أعدادًا كبيرة من غير الخبراء يمكنهم إجراء التحقق الرسمي بشكل أسرع وأكثر فعالية من حيث التكلفة من العمليات التقليدية" ، صمم DARPA برنامج CSFV للتحقق من مجموعات كبيرة من التعليمات البرمجية للتأكد من دقتها باستخدام ألعاب الفيديو المستندة إلى المستعرض.
يوم الأربعاء ، أعلنت DARPA نجاح البرنامج وأعلنت عن إضافة خمس ألعاب جديدة إلى التشكيلة الحالية. من مدونة DARPA:
قامت هذه الألعاب [2013] بترجمة تصرفات اللاعبين إلى تعليقات توضيحية للبرنامج وساعدت خبراء التحقق الرسمي في إنشاء أدلة رياضية للتحقق من عدم وجود فئات مهمة من العيوب في لغات البرمجة "C" و "Java". يشير تحليل أولي إلى أن غير الخبراء الذين يلعبون ألعاب CSFV يولدون مئات الآلاف من التعليقات التوضيحية.
تشمل العناوين الجديدة الألغاز Dynamakr, المفارقةو الانشطار الثنائي، "لعبة العلم" شبح خريطة هايبر سبيس، والخيال سيم الوحش والدليل. تتوفر جميع ألعاب CSFV في DARPA ، بما في ذلك ألعاب مرحلة 2013 ، عبر الإنترنت في Verigames. يجب أن يكون عمر اللاعبين 18 عامًا أو أكبر للمشاركة.