Generating Rely-Guarantee Conditions with the Conditional-Writes Domain.

James Tobler, Graeme Smith

Browse the full FM paper archive.