collaborators

1 paper

cs.PL2025

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 , estimate the number of Mazurkiewicz trace-equivalence classes induced by its interleavings. Th…