[{Image src='krzysztof-rafaƂ-apt-1.jpg' caption='' width='400' alt='Krzysztof R. Apt' class='image_left'}]''__Quo Vadis Program Verification__''\\ \\
[Krzysztof R. Apt|User/Apt_Krzysztof], CWI and University of Amsterdam, The Netherlands\\ \\
\\ \\
In spite of years of intensive research, there is a huge gap between the theory and practice of program verification.
One of the reasons is that programming features considered in theory form only a small subset of features used in
practice. We briefly survey what has been achieved in the field of program verification using the assertional
method. Then we discuss our recent work on verification of object-oriented programs.