most citedIncorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)

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

collaborators

1 paper

cs.LO2023★ 1 cited

Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)

Marie-Christine Jakobs, Tim Pollandt

Software changes frequently. To efficiently deal with such frequent changes, software verification tools must be incremental. Most of today's approaches for incremental verificatio…