Renishaw Neuro Solutions has selected AdaCore’s CodeSonar static analysis technology to support software verification for the motion-control software in its neuro | mate® stereotactic robotic platform. The neuro | mate system is designed for stereotactic neurosurgery and works with Renishaw’s neuro | inspire™ surgical planning software. The platform supports procedures including deep brain stimulation (DBS), […]
The post Renishaw uses CodeSonar …
This story is only covered by news sources that have yet to be evaluated by the independent media monitoring agencies we use to assess the quality and reliability of news outlets on our platform. Learn more here.