Model Checking Java Programs Using Methods Java