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