Corrupt files

Why don't programs build in code to tell that a file has become corrupt if it is called upon.
How are we supposd to know everything is ok when we experience crashes?
Wouldn't it save re-formatting and reloadind O/S?

Thanks