Algorithmic safety validation

We build software to validate safety-critical systems.