Provides simulation, verification, and validation software for autonomous vehicles and defense systems.