Formally Verified Software in the Real World.

The article discusses the use of formally verified software to protect an autonomous helicopter against cyber attacks. Topics include the testing of vehicles by the U.S. Defense Advanced Research Projects Agency (DARPA) through its High-Assurance Cyber Military Systems (HACMS) program, the role of a...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 61; no. 10; pp. 68 - 78
Main Authors:	KLEIN, GERWIN, ANDRONICK, JUNE, FERNANDEZ, MATTHEW, KUZ, IHOR, MURRAY, TOBY, HEISER, GERNOT
Format:	Article
Published:	Association for Computing Machinery Oct2018
Subjects:	Autonomous vehicles Computer software security United States. Defense Advanced Research Projects Agency Computer architecture Computer security
Online Access:	View this record in EBSCOhost