Formell verifisering er fortsatt veien.