A rely-guarantee-based simulation for verifying concurrent program transformations.

Hongjin Liang Xinyu Feng Ming Fu

Published in: POPL (2012)

Keyphrases

database
neural network
data sets
website
medical images
simulation study
simulation model
concurrent programs