'R1 r11' diaporamas de présentation

Two Approaches of Showing Program Equivalence

Two Approaches of Showing Program Equivalence. Borys Bradel. Introduction. Two programs are equivalent if they produce the same effect Try for all possible inputs Too many possibilities Security Direct proof Compute necessary conditions Use a theorem prover. Motivation - Verification.

274 views • 14 slides