Un programme de vérification est une liste de vérification des procédures à accomplir dans l'achèvement de la vérification. Un programme informatique (logiciel) est une liste des étapes à suivre dans le traitement des données.