Implementation of Model checking on distrubuted cloud-based platforms in order to make model checking efficient and scalable. Hopefully, widen the scope of industry-based problems to which model checking can be applied.