What is the best way of determining a loop invariant?

Posted by feelie on Stack Overflow See other posts from Stack Overflow or by feelie
Published on 2010-05-29T13:46:44Z Indexed on 2010/05/29 13:52 UTC
Read the original article Hit count: 261

Filed under:
|
|

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?

© Stack Overflow or respective owner

Related posts about loops

Related posts about formal-methods