Model Checking Java Programs Using Streamwriter