Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Browse the full VMCAI paper archive.