Krzysztof R. Apt
Quo Vadis Program Verification

Krzysztof R. Apt, 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.
Imprint Privacy policy « This page (revision-3) was last updated on Thursday, 6. October 2011, 11:04 by Kaiser Dana
  • operated by