Reduction for compositional verification of multi-threaded programs.

Corneliu Popeea Andrey Rybalchenko Andreas Wilhelm

Published in: FMCAD (2014)

Keyphrases

multi threaded
java programs
multi core processors
operating system
multithreading
information flow
computer architecture
model checking
formal methods
real time
general purpose
computer programs
parallel programming