Parameterized verification

Parosh Aziz Abdulla, Giorgio Delzanno. Parameterized verification. STTT, 18(5):469-473, 2016. [doi]

Abstract

Abstract is missing.