tel: +44(0)1684 252452

Llinkedin

imgReduce your Risk
Reduce your Risk

read more...

imgSolutions based on Fundamental Principles of Logic
Solutions based on Fundamental Principles of Logic

Complex systems tested for compliance to expectations

read more...

imgReduce your Development Time & Costs
Reduce your Development Time & Costs

read more...

imgRead about D-RisQ
Read about D-RisQ

read more...

Data Sheets and Case Studies

Software Data Sheets

Case Studies

What do we do?

With a wide experience in analysis of complex systems and software across many sectors ranging from embedded systems to IT, safety and security critical systems, automotive, aerospace, robotics and many others, D-RisQ has developed huge experience from which to build automated formal analysis tools.

Learn more