Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …