The Boston startup uses AI to translate and verify legacy software for defense contractors, arguing modernization can’t come at the cost of new bugs.

A single programming decision set off a chain of events that ended far outside the tech world. What began as flawed C code eventually became evidence in a criminal investigation. As the failure spread ...