Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham. Property Directed Reachability for Proving Absence of Concurrent Modification Errors. In Ahmed Bouajjani, David Monniaux, editors, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. Volume 10145 of Lecture Notes in Computer Science, pages 209-227, Springer, 2017. [doi]
Abstract is missing.