Formal verification

Can control theory make software better?Techniques used to ensure that airplanes won’t stall out in flight could be adapted to prove that computer programs won’t divide by zero.