Fiscal Year	2014
Division	Research & Sponsored Programs
Department	Cebrowski Institute
Investigator(s)	Xie, Geoffrey G.
Sponsor	Defense Advanced Research Projects Agency (DoD)
Summary	In Phase 1 of the project, we have designed and implemented a set of server and network configurations for securely deploying the Crowd Sourced Formal Verification (CSFV) games in a DOD network enclave. We have also identified and experimented with a staged approach to the accreditation and certification of a DOD version of the CSFV web portal. For Phase 2 tasks, we propose to build upon these results and focus on three tasks: (1) installation and certification of a working CSFV system in the NPS data center, (2) development of a framework for quantifying the overall progress made by the CSFV system in advancing the state of the art of formal software verification, and (3) modeling of the performance of individual CSFV games using analytics.
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