Suntem acum în era codului verificat formal