results.” Major CHACS activities focus on formal methods to support the
accuracy and preservation of critical system properties.
Of CHACS’ six major research sections, three focus on aspects of software
security assurance: