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.

Old-fashioned moviegoers who still love the cinema experience have endured some sprawling spectacles in recent years. Both ...