6b5f1524_DARPA___Open_Catalog__Description
[DARPA Program] HACMS [Office] I2O [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.
DARPA - Open Catalog
Description