Pontosságának igazolása a megjelölése, amely jelzi, hogy egy program kimeneti állításai következik logikusan a bemeneti kijelentéseit és feldolgozási lépések és, hogy ezen túlmenően a program véget nem ér alatt minden meghatározott bemeneti feltételek.