Model Checking Java Programs Examples