Omar Inverso, Catia Trubiani. Parallel and distributed bounded model checking of multi-threaded programs. In Rajiv Gupta, Xipeng Shen, editors, PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 22-26, 2020. pages 202-216, ACM, 2020. [doi]
Abstract is missing.