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, but it is also much more expensive
than the ordinary way for program testing. Tools development is
the key to reduce the cost, and indeed this is a very active
research area. You will find that many language technologies you
will learn in the Software Technology Master Programme to be
crucial for the construction of verificationt tools.
Some selected papers on verificationSPIN demonstration and exerciseSlides and examples: