Computing Inductive Invariants of Regular Abstraction Frameworks.

Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr

Browse the full CONCUR paper archive.