Conference Proceedings

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)

Funding Acknowledgements

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.