CHANGING THE WAY THE WORLD DOES SOFTWARE

HARNESSING ADVANCED MATHEMATICAL TECHNIQUES TO DEVELOP INTELLIGENT SOFTWARE SYSTEMS FOR YOUR ORGANISATION

Discover more

AUTOMATING THE BENEFITS OF FORMAL METHODS

HELPING YOU STAY COMPLIANT AND PROVIDING OBJECTIVE EVIDENCE OF CORRECTNESS

Discover more

HIGH ASSURANCE AGILE DEVELOPMENT

LOW COST, EASY TO USE AUTOMATED TOOLS FOR YOUR SOFTWARE DEVELOPERS

Discover more

Developing safe, agile and verified software systems for your organisation

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.

Originally used by the UK government, we’ve adapted our intelligent software verification products for many industries, including aerospace, autonomous systems (air, land, sea and underwater), automotive, marine, defence, cyber-security and nuclear decommissioning.

By implementing our high-tech, automated software systems, your organisation can reduce software development costs by between 50-80% compared with traditional test and review methods.

The Industry Sectors we work with

AUTONOMOUS SYSTEMS

AEROSPACE

AUTOMOTIVE

CYBER-SECURITY

How we can help you

EXPLORE OUR RANGE OF INTELLIGENT SOFTWARE SYSTEMS

Kapture®

Kapture® is made to help you write clearer and verifiable software requirements and discover issues before they escalate into expensive problems further down the line.

It’s the perfect tool for assisting developers in their designs, coders with their coding and test engineers in the development of valid test cases. For more information visit our product page.

‍

Discover more

Modelworks®

If you want to minimise iterations and costs, it’s essential to get things right early in the software development cycle. Modelworks® enables the automatic verification of designs in Simulink and Stateflow, enabling design engineers to explore various designs and choose the most maintainable, easy to use design.

It’s an ideal software system for reducing costly design errors, optimising the efficiency of future coding jobs and providing evidence of design correctness.

Discover more

CLawZ®

The manual generation of code is inevitably fraught with errors leading to expensive re-work. Even if code is automatically generated unit test is required to demonstrate that the code is error free and further tests have to show that it implements the software design.

CLawZ® avoids the time and cost of undertaking unit test because it automatically proves that the automatically generated code correctly, completely and accurately implements a design generated in Simulink.

Discover more

CLawZ

CLawZ enables the automatic independent verification of C source code generated from Simulink models. Should the autocoder have made a mistake, it will show where in the code the issues lies and relate it to the original design in Simulink.

CLawZ: Automating source code verification

Discover more