Journal article
Formally verified software in the real world
G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser
Communications of the ACM | ASSOC COMPUTING MACHINERY | Published : 2018
DOI: 10.1145/3230627
Abstract
Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.
Grants
Awarded by Defense Advanced Research Projects Agency