Code Portability

Accel Leads $36.5 Million Series A for Code Metal’s Verifiable AI Code Translation

The Boston startup says its AI uses formal verification to translate production code for defense and industrial clients.