/Companies

D-RisQ

Malvern, GB · 2 known investors

Find your way into D-RisQ

Sign up to see every warm intro you have to D-RisQ

  • Paths you didn't know you had: your email and LinkedIn already hold routes to the D-RisQ team. We find them for you
  • 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
  • Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone

Days of research, done the moment you sign in, with every route ranked by how warm it is.

CLawZ® is a formal verification tool that automatically proves auto-generated source code correctly implements Simulink/Stateflow designs, eliminating the need for unit testing. The product is designed for regulated industries requiring certification and is used in autonomous vehicles and nuclear decommissioning applications.

Investors · 2

Frequently asked questions

What does D-RisQ do?
CLawZ® is a formal verification tool that automatically proves auto-generated source code correctly implements Simulink/Stateflow designs, eliminating the need for unit testing. The product is designed for regulated industries requiring certification and is used in autonomous vehicles and nuclear decommissioning applications.
Who are D-RisQ's investors?
D-RisQ's investors include Future Planet Capital, Midven Ltd..
Where is D-RisQ headquartered?
D-RisQ is headquartered in Malvern, GB.