D-RisQ Seed
Malvern, GB · 2 known investors
Find your way into D-RisQ Seed
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 Seed 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 Seed's investors?
- D-RisQ Seed's investors include Future Planet Capital, Midven Ltd..
- Where is D-RisQ Seed headquartered?
- D-RisQ Seed is headquartered in Malvern, GB.