Thomas Pani, Georg Weissenbacher, Florian Zuleger. Thread-modular Counter Abstraction for Parameterized Program Safety. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 67-76, IEEE, 2020. [doi]
Abstract is missing.