国防高等研究計画局（Defense Advanced Research Project Agency：DARPA）は2013年12月、www.verigames.com上で無料の公式実証オンラインゲームを一般に公開し、ゲームプレイヤーの行動をソフトウェアのプログラム注釈に変換することで、実証専門家の一助とすることを目的とした「クラウドソースによる公式実証（Crowd Sourced Formal Verification: CSFV）プログラム」を開始した。この取り組みの分析結果によれば、プレイヤー（ソフトウェア実証の専門家でない）がCSFVプログラムのゲームをすることで、一般的なソフトウェア・プログラミング言語における数十万件の注釈が生成されたという。こうした成果を受け、DARPAは今般、クラウドソースによる実証の可能性を更に探ることを目的に、新たに複数の公式実証ゲームを公開した。
Defense Advanced Research Project Agency “Crowd-sourced Formal Verification Program Generates Thousands of Software Annotations” (5/27/15)