VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 21, 2018
Source ID
10.1007/s10817-018-9457-5

Entities

People

  • Andrew Appel
  • Josiah Dodds
  • Lennart Beringer
  • Qinxiang Cao
  • Samuel Gruetter

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation Directorate of Computer and Information Science and Engineering