Exploiting Induction and Difference Computation to Verify Array Programs by Divyesh Unadkat

Round-16 hunt: picked; source: course-code search at high-yield universities (r16 wave 6); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier C + tier-C depth check passed; strict per-title check + final strict pass; oEmbed verified.

A 31-minute video from Formal Methods Update: “Exploiting Induction and Difference Computation to Verify Array Programs by Divyesh Unadkat”.

Video by Formal Methods Update, played through YouTube's embedded player.