QRA Corp

Visure

This company develops requirements management software for engineering teams in regulated industries such as aerospace, automotive, medical devices, and defence.

Stell

This company develops secure requirements management software for engineers in regulated industries such as aerospace, defence, and energy to track technical documentation and compliance.

Quanscient

This company provides cloud-based multiphysics simulation software for engineers in sectors including automotive, aerospace, medical devices, and energy.

Edge Case Research

This company develops safety assurance software for autonomous systems within the automotive, aerospace, and defence sectors.

Trace.Space

Trace.Space develops an AI-powered requirements management platform for engineers building complex hardware products in the automotive, industrial, aerospace, and defence sectors.

RISA

This company develops structural analysis and design software for engineering firms to model buildings, bridges and other infrastructure projects.

Runtime Verification

This company develops formal verification tools and provides security audits for blockchain protocols and safety-critical embedded systems to ensure software correctness and reliability.

Atego

Atego develops model-based systems and software engineering applications for customers in the aerospace, defence, automotive, and transportation sectors.