Provably trustworthy systems
Gerwin Klein, June Andronick, Gabriele Keller, Daniel Matichuk, Toby Murray, Liam O'Connor
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | ROYAL SOC | Published : 2017
Awarded by Defense Advanced Research Projects Agency (DARPA)
The following note applies to 4 and partially 2. This material is based on research sponsored by the Air Force Research Laboratory and the Defense Advanced Research Projects Agency (DARPA) under agreement number FA8750-12-9-0179. The US Government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright notation thereon. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the Air Force Research Laboratory, the Defense Advanced Research Projects Agency or the US Government.