Auxon Documentation

Get started by choosing one of the products below to learn about.

Modality

Capture, query, and continuously build knowledge of how your systems perform & behave.

Conform

Isolate & explain where things went wrong with your implementation using executable specifications.

Deviant

Run intelligent, automatic stress tests to uncover edge cases & dangerous incidents waiting to happen.

SpeQTr

A declarative language for querying system execution traces & specifying system behavior.