Program Dependences Slicing and Verification