Verifying multi-threaded software with impact.

Björn Wachter Daniel Kroening Joël Ouaknine

Published in: FMCAD (2013)

Keyphrases

multi threaded
computer systems
operating system
computer architecture
multi core processors
multithreading
software development
information flow
low cost
data processing