HACMS-program.json

{
    "DARPA Office":"I2O",
    "DARPA Program Name":"HACMS",
    "Long Name":"High-Assurance Cyber Military Systems (HACMS)",
    "Program Teams":"",
    "Link":"http://www.darpa.mil/program/high-assurance-cyber-military-systems",
    "Display Software Columns":[
        "Team",
        "Project",
        "Category",
        "Code",
        "Description",
        "License"
    ],
    "Display Pubs Columns":[
        "Team",
        "Title",
        "Link"
    ],
    "Display Data Columns":[
        ""
    ],
    "Display Examples Columns":"",
    "Description":"The High-Assurance Cyber Military Systems (HACMS) program goal is to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Key technologies include interactive software synthesis systems, verification tools, and specification languages.",
    "Program Manager Link":"http://www.darpa.mil/staff/dr-john-launchbury",
    "Program Manager":"Dr. John Launchbury",
    "Program Manager Email":"john.launchbury@darpa.mil",
    "Image":""
}