CertX SA

Xcert AI

This company develops an artificial intelligence platform to automate certification and compliance processes for aerospace manufacturers, system integrators and regulators.

Safe Intelligence

This company develops formal verification and validation software for machine learning models used by developers in finance, mobility, robotics and aviation sectors.

Certivity

This company provides an AI-powered platform that converts regulatory documents into structured compliance data for engineering and manufacturing firms in highly regulated industries.

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.

Numalis

This company provides formal verification and validation software for artificial intelligence systems to customers in defence, aerospace, transport, and nuclear energy sectors.

Certivo

This company develops an artificial intelligence platform for businesses to manage product regulations, supplier declarations and compliance reporting across global supply chains.

C2A

This company provides automated risk management and compliance software for manufacturers of cyber-physical products in the automotive, medical, and industrial sectors.

VerifAIX

This company provides AI-powered software for semiconductor design teams to automate hardware verification plans, testbenches, and assertions from specifications and RTL.