Formell verifisering vil ikke redde deg! Spesifikasjonen kan ha feil!!