Faster Linearizability Checking via P-Compositionality.

Alex Horn Daniel Kroening

Published in: FORTE (2015)

Keyphrases

highly efficient
machine learning
type checking
database
data sets
reinforcement learning
digital libraries
preprocessing
image analysis
medical images
memory efficient