Regular Model Checking.

Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili

Browse the full CAV paper archive.