Loop Invariant

From NovaOrdis Knowledge Base
Revision as of 18:48, 9 November 2021 by Ovidiu (talk | contribs) (→‎Overview)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Internal

Overview

The loop invariant method is a technique that can be used to prove algorithm correctness.

TODO, CLRS pages 18 - 20.