Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.

Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frdric Haziza, Chih-Duo Hong, Ahmed Rezine

Browse the full CONCUR paper archive.