Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:proving_correctness_of_some_small_examples [2010/02/23 12:31] vkuncak |
sav08:proving_correctness_of_some_small_examples [2015/04/21 17:30] (current) |
||
|---|---|---|---|
| Line 50: | Line 50: | ||
| ++++| | ++++| | ||
| - | \[ | + | \begin{equation*} |
| r = i * x \land i=i+1 \land r' = r + x \rightarrow r' = i' * x | r = i * x \land i=i+1 \land r' = r + x \rightarrow r' = i' * x | ||
| - | \] | + | \end{equation*} |
| ++++ | ++++ | ||
| * we will see methods to prove such invariants | * we will see methods to prove such invariants | ||