Stateless Model Checking under a Reads-Value-From Equivalence

Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak +2

Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thr…