Trace-based Deductive Verification.

Richard Bubel, Dilian Gurov, Reiner Hhnle, Marco Scaletta

Browse the full LPAR paper archive.