Research Summaries

Back Crowd Sourcing for Software Verification with Department of Defense (Phase 2)

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