Formal Verification of a Lazy Concurrent List-Based Set Algorithm.

Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir

Browse the full CAV paper archive.