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

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

collaborators
Showing cs.FLShow all

1 paper · 1 filter

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…