Computing Inductive Invariants of Regular Abstraction Frameworks

Philipp Czerner, Javier Esparza, Valentin Krasotin +1

Regular transition systems (RTS) are a popular formalism for modeling infinite-state systems in general, and parameterised systems in particular. In a CONCUR 22 paper, Esparza et a…