Refinement of Trace Abstraction.

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski

Browse the full SAS paper archive.