Asserzione (informatica)

Questa voce sull'argomento informatica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

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.