Regular Model Checking for Systems with Effectively Regular Reachability Relation.

Javier Esparza, Valentin Krasotin

Browse the full MFCS paper archive.