Model Checking Java Programs Using Stream Microsoft 365