3 ms·Software Foundations is quite a comprehensive series on program verification.by SubjectToChange 2y agoSoftware Foundations is quite a comprehensive series on program verification.