Imandra is tackling "one of the most important problems facing society right now," according to co-founder Grant Passmore. Goldman Sachs, one of their highest-profile clients, seems to agree.
Imandra gets $5M to police other tech companies’ computer programs