Faster Linearizability Checking via P-Compositionality.

Alex Horn, Daniel Kroening

Browse the full FORTE paper archive.