22 citations · 40 across the 16 of their papers we have counts for
1 paper · 2 filters
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…