most citedAssume, Guarantee or Repair -- A Regular Framework for Non Regular Properties (full version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.FL2022★ 1 cited

Assume, Guarantee or Repair -- A Regular Framework for Non Regular Properties (full version)

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu +1

We present Assume-Guarantee-Repair (AGR) - a novel framework which verifies that a program satisfies a set of properties and also repairs the program in case the verification fails…