Login / Signup

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

Ramana NagasamudramLennart BeringerKen BirmanMae MilanoDavid A. Naumann
Published in: NFM (2024)
Keyphrases
  • coordination mechanism
  • distributed systems
  • decision making
  • data model