All Stories

  1. Formal verification of a distributed dynamic reconfiguration protocol

    Article • January 2022, ACM (Association for Computing Machinery)

    Ian Dardik