• News
  • Blog
  • Careers
  • Docs
  • Download
  • News
  • Blog
  • Careers
  • Docs
  • Download

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)

Thu Sep 12 2019
Rust Safety Embedded Systems
Company
  • News
  • Blog
  • Careers
  • Contact
Modality
  • Docs
  • Modality Walkthrough
  • Download
Sign up to receive news and updates.
Copyright 2022 Auxon Corporation. All rights reserved. | info@auxon.io