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.
