We have that, it is called formal verification. However, the process is time consuming and therefore expensive. The issue is not permissive practices or lack of standards, but the cost associated with quality.