Learn more about this talk here (opens new window)
Exposing Design Flaws in Shared-Clock Systems with TLA+
|
|
Principal Software Engineer, Auxon
|
Principal Software Engineer, Auxon