Predicate abstraction and refinement for verifying multi-threaded programs.

Ashutosh Gupta Corneliu Popeea Andrey Rybalchenko

Published in: POPL (2011)

Keyphrases

multi threaded
operating system
information flow
multithreading
multi core processors
real time
computer architecture
computer programs
general purpose
genetic programming
parallel computing