Formal Verification of an Array-Based Nonblocking Queue.

Robert Colvin, Lindsay Groves

Browse the full ICECCS paper archive.