Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003