asserzione

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.