1. 5

DARPA’s HACMS Program aims to create high-assurance, secure software for vehicles. This comprehensive article on HACMS introduces risks of computers, some techniques for assuring them, some cutting-edge results high assurance, phases of HACMS itself, impediments to using formal methods, and open challenges.

  1.