Using a Theorem Prover for Reasoning about Concurrent Algorithms.

Joakim von Wright, Thomas Lngbacka

Browse the full CAV paper archive.