Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs