LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes.

Alejandro Snchez, Csar Snchez

Browse the full CAV paper archive.