• News
  • Blog
  • Careers
  • Docs
  • Download
  • News
  • Blog
  • Careers
  • Docs
  • Download
Emergence
  • Subscribe
  • RSS
  • Tags
  • GITHUB
ilustration
Effective Property-Based Testing
Russell Mull  |  Principal Software Engineer, Auxon

We have a diverse testing and verification toolkit at Auxon, but one of our most important tools is property-based ...

Mon Feb 01 2021
Safety Testing Verification
ilustration
A Little Story About Graphs and Why Rust Is Terribly Wonderful (Or Wonderfully Terrible)
Dan Pittman  |  Principal Software Engineer, Auxon

Our open source software instrumentation tooling, modality-probe, pr ...

Mon Jan 11 2021
Rust Safety Embedded Systems
ilustration
Listening in on Embedded Devices Using Modality-Probe
Jon Lamb  |  Senior Software Engineer, Auxon

The following is an example of retrieving modality-probe log data off an embedded device using the debug interface. ...

Tue Nov 17 2020
Rust Safety Embedded Systems
Oxidize 2020: Rust in Safety Critical Systems Panel
Nathan Aschbacher  |  CEO, Auxon

Mon Nov 02 2020
Rust Safety Embedded Systems
ilustration
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
Dan Pittman  |  Principal Software Engineer, Auxon

In the world of systems programming where one may find themselves writing hardware drivers or interacting directly ...

Fri Oct 25 2019
Rust Safety Embedded Systems
Exposing Design Flaws in Shared-Clock Systems with TLA+
Russell Mull  |  Principal Software Engineer, Auxon

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