Verifying quantitative reliability for programs that execute on unreliable hardware

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 22, 2016
Source ID
10.1145/2958738

Entities

People

  • Martin C. Rinard
  • Michael Carbin
  • Sasa Misailovic

Organizations

  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology
  • National Science Foundation
  • United States Department of Energy