A unified Coq framework for verifying C programs with floating-point computations

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 18, 2016
Source ID
10.1145/2854065.2854066

Entities

People

  • Benoit Meister
  • Paul Mountcastle
  • Richard Lethin
  • Tahina Ramananandro

Organizations

  • Defense Advanced Research Projects Agency