Stateless Model Checking Under a Reads-Value-From Equivalence.

Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman

Browse the full CAV paper archive.