Business ❯ Investing ❯ Venture Capital ❯ Funding Rounds
The Boston startup says its AI uses formal verification to translate production code for defense and industrial clients.