Download Verification, Model Checking, And Abstract Interpretation: Third International Workshop, Vmcai 2002 Venice, Italy, January 21–22, 2002 Revised Papers 2002