Software Foundations is quite a comprehensive series on program verification.