Interference relation-guided SMT solving for multi-threaded program verification.

Hongyu Fan Weiting Liu Fei He

Published in: PPoPP (2022)

Keyphrases

multi threaded
operating system
information flow
multi core processors
computer architecture
multithreading
real time
high level
computer science
software engineering
low cost