Formal Verification of Skiplists with Arbitrary Many Levels.

Alejandro Snchez, Csar Snchez

Browse the full ATVA paper archive.