Proving Opacity via Linearizability: A Sound and Complete Method.

Alasdair Armstrong Brijesh Dongol Simon Doherty

Published in: FORTE (2017)

Keyphrases

significant improvement
pairwise
cost function
dynamic programming
main contribution
decision trees
similarity measure
high accuracy
em algorithm
clustering method
objective function
prior knowledge
theoretical analysis
support vector machine svm
high precision