Regular Model Checking Upside-Down: An Invariant-Based Approach.

Javier Esparza, Mikhail A. Raskin, Christoph Welzel

Browse the full CONCUR paper archive.