Formal verification of a concurrent bounded queue in a weak memory model.

Glen Mével Jacques-Henri Jourdan

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

computational model
formal verification
statistical model
neural network
management system
high level
bayesian networks
probabilistic model
probability distribution
markov chain
mathematical model
model checking
metamodel