22 citations · 23 across the 2 of their papers we have counts for
1 paper · 1 filter
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…