Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).

Fei He Zhihang Sun Hongyu Fan

Published in: TACAS (2) (2022)

Keyphrases

multi threaded
multi core processors
operating system
computer architecture
information flow
multithreading
real time
data management
programming environment