ACSAR: Software Model Checking with Transfinite Refinement by Seghir, M, Podelski, A

Abstraction Refinement for Quantified Array Assertions by Seghir, M, Podelski, A, Wies, T

Directed Model Checking with Distance−Preserving Abstractions by Dräger, K, Finkbeiner, B, Podelski, A

Directed model checking with distance−preserving abstractions by Dräger, K, Finkbeiner, B, Podelski, A

Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking by Kupferschmid, S, Dräger, K, Hoffmann, J, Finkbeiner, B, Dierks, H, Podelski, A, Behrmann, G