Threader: A Constraint-Based Verifier for Multi-threaded Programs.

Ashutosh Gupta Corneliu Popeea Andrey Rybalchenko

Published in: CAV (2011)

Keyphrases

multi threaded
operating system
multi core processors
multithreading
real time
information flow
computer architecture
computer programs
constraint satisfaction
programming environment
artificial intelligence
supply chain
parallel algorithm