Login / Signup

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

William SchultzSiyuan ZhouStavros Tripakis
Published in: DISC (2021)
Keyphrases
  • dynamic reconfiguration
  • case study
  • software engineering
  • formal verification
  • information systems
  • cooperative
  • lightweight
  • design process
  • model checking
  • conceptual model
  • model checker