Regular Model Checking for LTL(MSO).

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena

Browse the full CAV paper archive.