Lecture 18: Introduction to Proofs

91 Views

The video explains what proving a software against its specification means, what automatic proof is, and introduces interactive proof and the notion of proof tree.

Sign in to receive news from MOOC IMD and to access course forums.