Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving.

Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif

Browse the full SEFM paper archive.