most citedRefining Trace Abstraction using Abstract Interpretation

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

collaborators

1 paper

cs.LO2017★ 1 cited

Refining Trace Abstraction using Abstract Interpretation

Marius Greitschus, Daniel Dietsch, Andreas Podelski

The CEGAR loop in software model checking notoriously diverges when the abstraction refinement procedure does not derive a loop invariant. An abstraction refinement procedure based…