loop-invariant

8calore

3risposta

Hoare Logic Loop Invariant

Sto guardando Hoare Logic e ho problemi a capire il metodo per trovare il ciclo invariante. Qualcuno può spiegare il metodo utilizzato per calcolare il ciclo invariante? E cosa dovrebbe contenere un i

language-agnostic logic verification invariants loop-invariant 2011-01-24

---