Course Materials for Graduate Class on Algorithmic Software Verification