CSFV-program.json

{
    "DARPA Office":"I2O",
    "DARPA Program Name":"CSFV",
    "Long Name":"Crowd Sourced Formal Verification (CSFV)",
    "Program Teams":"",
    "Link":"http://www.darpa.mil/Our_Work/I2O/Programs/Crowd_Sourced_Formal_Verification_%28CSFV%29.aspx",
    "Display Software Columns":[
        "Team",
        "Project",
        "Category",
        "Code",
        "Description",
        "License"
    ],
    "Display Data Columns":[""],
    "Display Pubs Columns":[
        "Team",
        "Title",
        "Link"
    ],
    "Description":"Crowd Sourced Formal Verification (CSFV) is a DARPA program that aims to investigate whether large numbers of non-experts can perform formal verification faster and more cost-effectively than conventional processes. The goal is to transform verification into a more accessible task by creating fun, intuitive games that reflect formal verification problems. Playing the games would effectively help software verification tools complete corresponding formal verification proofs.",
    "Program Manager Link":"http://www.darpa.mil/Our_Work/I2O/Personnel/Dr_Daniel_Ragsdale.aspx",
    "Program Manager":"Dr. Daniel Ragsdale",
    "Program Manager Email":"daniel.ragsdale@darpa.mil",
    "Image":""
}