What is the best way of determining a loop invariant? - by feelie When using formal aspects to create some code is there a generic method of determining a loop invariant or will it be completely different depending on the problem? Read the article
