Fiscal Year	2015
Division	Research & Sponsored Programs
Department	Cebrowski Institute
Investigator(s)	Xie, Geoffrey G.
Sponsor	Marine Corps Systems Command (Marine Corps)
Summary	We propose to leverage the game system created by the existing DARPA Crowd Sourced Formal Verification (CSFV) program and investigate ways to deploy these games in DoD network enclaves such as the NPS data center and the Defense Research and Engineering Network (DREN).
Keywords
Publications	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal