Login / Signup
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications.
Xuan-Bach Le
David Sanán
Jun Sun
Shang-Wei Lin
Published in:
ICECCS (2020)
Keyphrases
</>
multi threaded
multi core processors
information flow
operating system
multithreading
computer architecture
real time
bayesian networks
low cost
information systems
high level
genetic programming
data processing
computer programs