A korrektség igazolása a megjelölése, amely jelzi, hogy egy program kimenete állításokat következik logikusan a bemeneti kijelentéseit és feldolgozási lépések.