Differences

This shows you the differences between two versions of the page.

--- sav08:proving_correctness_of_some_small_examples [2008/02/17 17:20]
vkuncak created
+++ sav08:proving_correctness_of_some_small_examples [2008/02/17 18:35]
vkuncak
@@ Line 1: / Line 1: @@
 ====== Proving Correctness of Some Small Examples ======
-{{sav08:integerdemo.java.txt|All Above Examples Working with Jahob}}
+In this demo we go through several examples and prove them correct using Jahob.
+{{sav08:integerdemo.java.txt|Examples of Functions}}
+For homework, you will have more such examples.