activity
20062025
most citedReach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

62 citations · 104 across the 15 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

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…