Efficient Verification of Concurrent Programs Over TSO Memory Model.

Chinmay Narayan Subodh Sharma S. Arun-Kumar

Published in: CoRR (2016)

Keyphrases

machine learning
high level
database
real time
information systems
probabilistic model
programming language
building blocks