Un mecanism pentru a verifica dacă valoarea reală a unei variabile la momentul execuţiei corespunde cu valoarea preconizată a acelei variabile. A se vedea, de asemenea, constrângere de sincronizare.