Vi er nå i en æra med formelt verifisert kode