Threader: A Verifier for Multi-threaded Programs - (Competition Contribution).

Corneliu Popeea Andrey Rybalchenko

Published in: TACAS (2013)

Keyphrases

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