"Incremental Verification Using Trace Abstraction."

Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics