Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
course:smt [2017/08/31 13:21]
mht208
course:smt [2017/08/31 13:35]
mht208 [Part II]
Line 9: Line 9:
 We show how to verify if a program satisfies a specification with Hoare logic and how to generate verification conditions with weakest preconditions. Besides backward reasoning, we also show how to verify a program in a forward manner. We show how to verify if a program satisfies a specification with Hoare logic and how to generate verification conditions with weakest preconditions. Besides backward reasoning, we also show how to verify a program in a forward manner.
  
-{{ :​course:​03_verification.pdf |Verification}},​ {{ :​course:​verification_exercises.pdf |Exercises}}+{{ :​course:​03_verification.pdf |Verification}}, ​{{ :​course:​04_verify25519.pdf |Cryptographic Software}}{{ :​course:​verification_exercises.pdf |Exercises}}