Verifying correctness of persistent concurrent data structures: a sound and complete method.
John DerrickSimon DohertyBrijesh DongolGerhard SchellhornHeike WehrheimPublished in: Formal Aspects Comput. (2021)
Keyphrases
- data structure
- main contribution
- computational complexity
- fully automatic
- pairwise
- detection method
- high accuracy
- objective function
- synthetic data
- model selection
- dynamic programming
- preprocessing
- classification accuracy
- computational cost
- experimental evaluation
- theoretical analysis
- detection algorithm
- multiresolution
- segmentation method
- high precision
- machine learning
- evaluation method