1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald +1
Bounded model checking (BMC) is an effective technique for hunting bugs by incrementally exploring the state space of a system. To reason about infinite traces through a finite str…
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…