But does "formally verified code" really go in the same bag as "normalized database" and ensuring data integrity at the database level? The former is immensely

But does "formally verified code" really go in the same bag as "normalized database" and ensuring data integrity at the database level? The former is immensely complex and difficult; the other two are more like sound engineering principles?