Research Summaries

Back Optimize Crowd Sourced Formal Verification for DOD Use

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