Il est possible de répertorier les vérifications spécifiques à une preuve particulière. Comme un objet de preuve particulier change au fil du temps, si des vérifications sont définies pour cet objet et donc nécessiter une revérification lors de la correction ou de la modification des preuves, il peut être utile de considérer ces groupes de vérification comme un ensemble étant donné qu'ils se rapportent au même objet de preuve.