כחלק מהנושא אימות תוכנה.האומנם זהו רק קורס מבוא ולכן הוא יחסית בסיסי, ולצערי הם לא מרשים לראות את ההרצאות וחומר משנים קודמות,
אבל יש שם הרבה מאוד נושאים שמציגים מודלים מתמטיים לאימות קטע קוד, למשל לפי מודל Hoar.
http://webcourse.cs.technion.ac.il/236342
בברכה,
עידן