Refinement through restraint: bringing down the cost of verification
L O'Connor, Z Chen, C Rizkallah, S Amani, J Lim, T MURRAY, Y Nagashima, T Sewell, G Klein
ACM SIGPLAN Notices | ACM | Published : 2016
Awarded by Defense Advanced Research Projects Agency (DARPA)
This material is based on research sponsored by Air Force Research Laboratory and the Defense Advanced Research Projects Agency (DARPA) under agreement number FA8750-12-9-0179. The U.S. Government is authorised 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 Air Force Research Laboratory, the Defense Advanced Research Projects Agency or the U.S. Government.