←Return to Posts

Exposing Design Flaws in Shared-Clock Systems with TLA+

Russell Mull
| twitter | Principal Software Engineer, Auxon

Learn more about this talk here (opens new window)

←Return to Posts
Thu Sep 12 2019
Rust Safety Embedded Systems
Copyright 2024 Auxon Corporation. All rights reserved. | info@auxon.io | Privacy Policy