Regular Model Checking for Systems with Effectively Regular Reachability Relation

Javier Esparza, Valentin Krasotin

Regular model checking is a well-established technique for the verification of regular transition systems (RTS): transition systems whose initial configurations and transition rela…