Formal Verification of a Practical Lock-Free Queue Algorithm.

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir

Browse the full FORTE paper archive.