Formally verified software in the real world

Communications of the ACM, pp. 68-77, 2018.

Cited by: 3|Bibtex|Views70|DOI:https://doi.org/10.1145/3230627
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|dl.acm.org

Abstract:

Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.

Code:

Data:

Your rating :
0

 

Tags
Comments