Code Metal, the leader in verifiable code translation for mission-critical industries, today announced the close of its $125 million Series B financing led by Salesforce Ventures with participation from Accel, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch, RTX, and others. The company also announced that Ryan Aytay, former CEO of Tableau, has joined Code Metal as President and Chief Operating Officer.