`Travelled to:`

1 × Australia

1 × France

4 × USA

`Collaborated with:`

C.Calcagno M.J.Parkinson P.W.O'Hearn H.Amjad B.Sufrin J.Brotherston

`Talks about:`

proof (3) logic (3) separ (2) guarante (1) variabl (1) resourc (1) program (1) permiss (1) modular (1) automat (1)

## Person: Richard Bornat

### DBLP: Bornat:Richard

### Contributed to:

### Wrote 6 papers:

- VMCAI-2009-AmjadB #analysis #automation #proving #towards
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs (HA, RB), pp. 14–28.
- POPL-2008-BrotherstonBC #logic #proving #termination
- Cyclic proofs of program termination in separation logic (JB, RB, CC), pp. 101–112.
- POPL-2007-ParkinsonBO #composition #stack #verification
- Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.
- LICS-2006-ParkinsonBC #hoare #logic
- Variables as Resource in Hoare Logics (MJP, RB, CC), pp. 137–146.
- POPL-2005-BornatCOP #logic
- Permission accounting in separation logic (RB, CC, PWO, MJP), pp. 259–270.
- CADE-1997-BornatS #named
- Jape: A Calculator for Animating Proof-on-Paper (RB, BS), pp. 412–415.