Verification, Model Checking, And Abstract Interpretation: 8Th International Conference, Vmcai 2007, Nice, France, January 14 16, 2007. Proceedings 2007