D-RisQ-Ltd.

D-RisQ is focused on reducing the cost/time/risk of the development of software, especially safety-critical software. To achieve this the company has developed a series of licensable, easily accessible, automatic, verification tools which have been used in sectors ranging from maritime, aerospace, nuclear-decommissioning, cyber-security, medical and automotive.