CACM article features Yale’s DeepSpec/CertiKOS project

August 22, 2017

A recent news article in the August 2017 issue of Communications of ACM reports on progress with Hacker-Proof Coding and features Professor Zhong Shao’s DeepSpec/CertiKOS project. DeepSpec is building tools for verifying programs, and software components such as OS kernels, conform to deep specifications.