Runtime Verification

Blockchain Cybersecurity Software

This company provides formal verification and security auditing software for blockchain protocols and smart contract developers.

Safe Intelligence

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

MetaTrust

This company develops automated security tools and code auditing services to help web3 developers secure decentralized applications and smart contracts.

TrustOps

TrustOps develops an evidence-driven attestation platform that provides cryptographically verifiable integrity and compliance guarantees for software and AI systems in regulated industries.

Fuzzland

This company provides automated smart contract analysis and on-chain security solutions for decentralised finance projects and blockchain developers.

AI reasoning engine

This company develops verified artificial intelligence systems that solve complex mathematical problems and prove theorems for researchers in science, engineering and finance.

SAIF Autonomy

This company develops runtime assurance software and safeguards for autonomous systems and embodied artificial intelligence within the aerospace, land, and defence sectors.

Blockchain Gaming

The company develops web and mobile applications and performs smart contract audits for businesses requiring blockchain and software engineering services.