12 ms·GOTO 2016 • the Verification of a Distributed System • Caitie McCaffrey7 points by dkarapetyan 10y ago