Parameterized Verification of Infinite-State Processes with Global Conditions.

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

Browse the full CAV paper archive.