SIGSOFT tutorial on program verification (Tutorial Session)

An introduction is given to the fundamental issues of proving properties of computer programs. No attempt is made to provide an exhaustive survey, but rather to convey enough of the basic concepts and techniques of proving programs so that the interested reader can pursue specific interests on his o... View More