2 citations · 3 across the 10 of their papers we have counts for
1 paper · 1 filter
Larissa A. Meinicke, Ian J. Hayes
The rely/guarantee approach of Jones extends Hoare logic with rely and guarantee conditions in order to allow compositional reasoning about shared-variable concurrent programs. Thi…