Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).

Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine

Browse the full TACAS paper archive.