Sign in
Verifying a quantitative relaxation of linearizability via refinement.
Kiran Adhikari
James Street
Chao Wang
Yang Liu
Shao Jie Zhang
Published in:
Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
</>
qualitative and quantitative
probabilistic relaxation
model checking
refinement process
objective function
iterative algorithms
quantitative and qualitative
quantitative measures
lognormal distribution
data sets
machine learning
three dimensional
logic programs
multi label
query refinement
semidefinite