sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses.

Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Daniel Stan

Browse the full CAV paper archive.