Formal Verification of the rank Algorithm for Succinct Data Structures.

Akira Tanaka, Reynald Affeldt, Jacques Garrigue

Browse the full ICFEM paper archive.