Formal verification of a lazy concurrent list-based set.pdfVIP

Formal Verification of a Lazy Concurrent List-Based Set Algorithm 1 2 3 3 Robert Colvin , Lindsay Groves , Victor Luchangco , and Mark Moir 1 ARC Centre for Complex Systems, University of Queensland, Australia 2 School of Mathematics, Statistics and Computer Science, Victoria University of Wellington, New Zealand 3 Sun Microsystems Laboratories, 1 Network Drive, Burlington, MA 01803, USA