DRISQ

• 62020 - Information technology consultancy activities
• 62090 - Other information technology service activities

D-RisQ is a high-tech UK company specialising in producing software and systems verification technologies based in Malvern, Worcestershire - the home of one of the UK's newest high technology business clusters and a historically important location in terms of scientific invention... With formal methods based mathematical tools covering requirements capture and design verification, backed up by future source code and object code verification, D-RisQ provides automated verification solutions for the most demanding system needs... D-RisQ Ltd. is a leading UK software and verification system provider based in Malvern, Worcestershire. Using formal methods mathematical techniques, we've developed a suite of software verification products designed to help your organisation meet the toughest software behavioural assurance standards set by international regulators.

Also known as: Drisq Limited, DRISQ LTD

Registration numbers: 07754903 (CH)

Primary location: Malvern United Kingdom