Exposing Design Flaws in Shared-Clock Systems with TLA+

Russell Mull Principal Software Engineer, Auxon Sep 12, 2019