![Metal Gear Solid - The Movie - 1부 [JP with ENG LITERAL TRANSLATION]](https://i.ytimg.com/vi/3Dk2TFTbt0o/hqdefault.jpg)
2013 년에 시작된 미 육군 방위 고등 연구 계획국 (DARPA)의 군중 소집 공식 검증 (CSFV) 실험의 초기 단계입니다.이 실험은 비용이 많이 드는 전통적인 코드 검증 방법의 시간 소모적 인 함정을 퇴치하기 위해 만들어졌습니다.
DARPA는 "많은 비 전문가가 기존의 프로세스보다 더 빠르고 비용 효율적인 방식으로 공식 검증을 수행 할 수있다"는 가설을 바탕으로 DARPA는 CSFV 프로그램을 통해 브라우저 기반 비디오 게임을 사용하여 대량의 코드를 정확하게 검사하도록 설계했습니다.
수요일, DARPA는이 프로그램을 성공으로 선언하고 기존 라인업에 5 개의 새로운 게임을 추가한다고 발표했습니다. DARPA 블로그 :
이 [2013] 게임은 플레이어의 행동을 프로그램 주석으로 번역하고 공식 검증 전문가가 "C"및 "Java"프로그래밍 언어에서 중요한 클래스의 결함이 없음을 증명하는 수학적 증명을 생성하는 데 도움을주었습니다. 초기 분석은 CSFV 게임을하는 비전문가가 수십만 개의 주석을 생성했음을 나타냅니다.
새로운 타이틀에는 퍼즐 러가 포함됩니다. 다이너마크, 역설, 및 이분법, "과학 게임" 고스트 맵 초 공간, 판타지 시뮬레이션 몬스터 증명. 2013 프로젝트 단계에서 나온 것을 포함하여 DARPA의 모든 CSFV 게임은 Verigames에서 온라인으로 제공됩니다. 게이머는 18 세 이상이어야 참여할 수 있습니다.