Decidability of Liveness on the TSO Memory Model.

Chao Wang Gustavo Petri Yi Lv Teng Long Zhiming Liu

Published in: CoRR (2021)

Keyphrases

computational model
probabilistic model
theoretical analysis
mathematical model
similarity measure
formal model
data mining
genetic algorithm
high level
cost function
least squares
parameter estimation
theoretical framework
statistical model
simulation model