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