Nils Timm, Stefan Gruner, Prince Sibanda. Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. In Mehdi Dastani, Marjan Sirjani, editors, Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Volume 10522 of Lecture Notes in Computer Science, pages 244-259, Springer, 2017. [doi]
Abstract is missing.