Proof-carrying code. Available from http://www-2.cs.cmu.edu/~petel/papers/pcc/pcc.html (0)

by Peter Lee