In het bewijs van de juistheid, een aanwijzing waaruit blijkt dat een programma uitvoer beweringen logisch volgen uit haar input beweringen en verwerking stappen en dat, bovendien, het programma eindigt onder alle opgegeven invoer voorwaarden.