CSE 127: Lecture 12

The topics covered in this lecture are Proving Code Correct

Proving Code Correct

Too many equations for HTML. See notes [PDF].


These are links additional security-related information. Exploring them is optional unless otherwise stated.

[ search CSE | CSE | bsy's home page | links | webster | MRQE | google | yahoo | citeseer | pgp certserver | openpgp certserver ]
picture of bsy

bsy+cse127.w03@cs.ucsd.edu, last updated Thu Feb 27 09:05:09 PST 2003. Copyright 2003 Bennet Yee.
email bsy.

Don't make me hand over my privacy keys!