Thread-modular Counter Abstraction for Parameterized Program Safety.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Browse the full FMCAD paper archive.