Folks, With respect to the question of how best to verify code we receive, has anyone on the project looked at Proof-Carrying Code (PCC)? See <http://foxnet.cs.cmu.edu/people/petel/papers/pcc/pcc.html> for a good overview. Paul Snively <mailto:psnively@earthlink.net>