In informatica, un'asserzione è un predicato presente in un programma che indica che il predicato sia sempre vero.
Per esempio, il codice seguente contiene due asserzioni:
x := 5;
{x > 0}
x := x + 1
{x > 1}
x > 0
and x > 1
, e saranno certamente vere nei punti indicati durante l'esecuzione.