News

RV'20

October 6-9, 2020

Auxon CEO Joins Bosch, Lockheed Martin, & Galois to Discuss Runtime Verification for Autonomy

Nathan Aschbacher, Auxon CEO

Auxon Featured On Own Website

July 18, 2020

We address the growing complexity of Cyber-Physical Systems by providing engineers with automation to test, analyze, and understand their systems at every phase of their lifecycle. We address the growing complexity of...

Oxidize Global

July 18th, 2020

Auxon Joins Volvo and Green Hills to Discuss Rust in Safety Critical Systems

Nathan Aschbacher, Auxon CEO

CES 2020

January 7th - 10th, 2020

Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers

TLA+ Conf

January 7th - 10th, 2020

Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers

Russell Mull, Auxon Principal Software Engineer

Colorado Gold Rust

September 21st, 2019

A Tour of Empirical Verification in Rust

Zack Pierce, Auxon Principal Software Engineer

Rust Belt Rust

October 18th & 19th, 2019

Type Theory for the Working Rustacean

Dan Pittman, Auxon Principal Software Engineer