Program Verification 1

In these two lectures we will briefly demonstrate to you an alternative way to test a program. You can say that it is the mathematicians' way of testing. It is a very powerful technique, as it can exclude all errors, though you can expect that this kind of power comes with a price. The lectures expect your active participation in some kind of a discovery tour to let you rediscover yourself some of the verification techniques.

-- WishnuPrasetya - 11 Sep 2002