Stateless Model Checking Under a Reads-Value-From Equivalence

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

July 2021

PDF DOI