Login / Signup
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations.
Hongjin Liang
Xinyu Feng
Ming Fu
Published in:
ACM Trans. Program. Lang. Syst. (2014)
Keyphrases
</>
machine learning
symbolic execution
concurrent programs
real time
model checking
simulation model
database
neural network
learning algorithm
face recognition
medical images
mathematical models
simulation models
qualitative simulation