Introduction to Software Technology
WebHome
- Education page
- Course schedule
- Assignments
- Solutions Master Program
Center
Program Verification
Ist
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 verification
SPIN demonstration and exercise
Slides and examples:
- IST_V_02_02.pdf: Slides Program Verification in Practice
- IST_V_02_01.pdf: Slides Introduction to Program Verification
- IST_V_02_03.pdf: Slides about exercises
- IST_LN_main.pdf: Examples and Assignments