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

Alejandro Sánchez, César Sánchez (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics