Journal article

Formally Verified Software in the Real World

Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby Murray, Gernot Heiser

Communications of the ACM | ASSOC COMPUTING MACHINERY | Published : 2018