D-RisQ

D-RisQ is a leading UK software and verification system provider based in Malvern, Worcestershire. Using formal methods mathematical techniques, the team developed a suite of software verification products designed to help organisations meet the toughest software behavioural assurance standards set by international regulators.

Originally used by the UK government, the suite of automated software verification tools is now used in many industries, including aerospace, autonomous systems (air, land, sea and underwater), automotive, marine, defence, cyber-security and nuclear decommissioning. By using the tool suite, organisations can reduce software development costs by between 50-80% compared with traditional test and review methods.