Fully automated verification of concurrent programs is a difficult problem. primarily because of state explosion: the exponential growth of a program state space with the number of its concurrently active components. It is natural to apply a divide and conquer strategy to ameliorate state explosion. by analyzing only a single component at a time. https://www.spidertattooz.com/OPI-GelColor-The-Color-That-Keeps-On-Giving-0-5-oz-HPJ07-p22791/