Formally Defining and Verifying Master/Slave Speculative Parallelization.

Pierre Salverda, Grigore Rosu, Craig B. Zilles

Browse the full FM paper archive.