Vi befinner oss nu i en era med formellt verifierad kod