Strongest invariant functions: Their use in the systematic analysis of while statements
Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.
scientific article; zbMATH DE number 3870575