State Space Estimation for DPOR-based Model Checkers(Extended Version)

A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar +2

We study the estimation problem for concurrent programs: given a bounded program $P$, estimate the number of Mazurkiewicz trace-equivalence classes induced by its interleavings. Th…