Property Directed Reachability for Proving Absence of Concurrent Modification Errors. - Asya Frumkin; Yotam M. Y. Feldman; Ondrej Lhoták; Oded Padon; Mooly Sagiv; Sharon Shoham (VMCAI, 2017)