Satisfiability modulo ordering consistency theory for multi-threaded program verification.

Fei He Zhihang Sun Hongyu Fan

Published in: PLDI (2021)

Keyphrases

multi threaded
operating system
information flow
multithreading
genetic algorithm
artificial intelligence
computer architecture
information systems
object oriented
graphical models
data processing
multi core processors