Xie, Geoffrey G.

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.
Cebrowski Institute
Defense Advanced Research Projects Agency
DoD
2016