Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq

  • Ramana Nagasamudram
  • , Lennart Beringer
  • , Ken Birman
  • , Mae Milano
  • , David A. Naumann

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq'. Together they form a unique fingerprint.

Computer Science

Keyphrases