Efficient Coverability Analysis by Proof Minimization.

Alexander Kaiser, Daniel Kroening, Thomas Wahl

Browse the full CONCUR paper archive.