Imandra is pioneering the use of formal verification methods to develop scalable and automated analyses of software, guaranteeing the performance, safety and fairness in critical and complex software applications.
IQ Capital invested in Imandra at Seed stage in 2019.