Caper - Automatic Verification for Fine-Grained Concurrency.

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal

Browse the full ESOP paper archive.