Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav08:big_picture_of_vcg [2009/02/22 16:45] vkuncak |
sav08:big_picture_of_vcg [2009/02/22 16:45] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Schema of a Simple Verifier Based on a Theorem Prover ===== | ===== Schema of a Simple Verifier Based on a Theorem Prover ===== | ||
- | {{sav08:theorem_prover2.jpg?200|Verifier Based on a Theorem Prover}} | + | {{sav08:theorem_prover2.jpg|Verifier Based on a Theorem Prover}} |
===== Steps in Verification ===== | ===== Steps in Verification ===== |