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.campicon.com/