Tutorial: proving safety of parallel / multi-threaded programs.

Published in: HILT (2013)

Keyphrases

multi threaded
multi core processors
computer architecture
operating system
information flow
multithreading
real time
computer programs
distributed systems
parallel programming