Consultancy, training, research and tools
Engineering software you can trust when failure is not an option.
We help organisations design, verify and assure safety-critical and security-critical systems.
Our services
Talk to us
What we do
Safety-critical engineering
Design, verification and assurance for systems where errors can cause harm, including data safety and formal methods.
Sectors we work in
- Aerospace
- Defence
- Telecoms
- Automotive
- Healthcare
- Infrastructure
Partners
We work with
Parvat Infotech in Bengaluru, India, on development projects, and with Scutoid in the UK, on digital design.
August 2024
We were selected as one of 10 innovative UK companies for the Cyber Security Global Business Innovation Programme to Australia, run by Innovate UK Business Connect. In November 2024 we attended the Australian Cyber Conference in Melbourne and met cyber security organisations who could use CHERI to make their products secure by design.
Building a system that must not fail? Let's talk.
Contact us
