SICSOFT (Tutorial Session)

Abstract

This session will provide an introduction to the fundamental issues of proving properties of computer programs. No attempt will be made to provide an exhaustive survey, but enough of the basic concepts and techniques of proving programs will be included so that the interested reader can pursue specific interests on his own.