Engineering Blog

Exposing Design Flaws in Shared-Clock Systems with TLA+

Russell Mull Principal Software Engineer, Auxon Sep 12, 2019

Learn more about this talk here

Return home