> Zastanawiam się, czy to jest pojęcie wyłącznie akademickie.

Jeżeli ktoś po tej dyskusji ma jeszcze resztki zainteresowania tematem, to zachęcam
do lektury:

http://www.inspirel.com/articles/Supporting_Loop_Inv
ariants.html

To jest opis implementacji niezmienników - a konkretnie tego, jak można niezmienniki
statycznie weryfikować.

--
Maciej Sobczak