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