Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.

Stefan Heule, Ioannis T. Kassios, Peter Mller, Alexander J. Summers

Browse the full ECOOP paper archive.