Reduction for compositional verification of multi-threaded programs.

Corneliu Popeea, Andrey Rybalchenko, Andreas Wilhelm

Browse the full FMCAD paper archive.