| | Talks
| 2009 |
|---|
| 19 Aug. 2009 |
TPHOLs |
A formalisation of Smallfoot in HOL
(foils, printer version)
|
| 5 May 2009 |
ARG Lunch |
A Heap of Problems
(foils, printer version)
|
| 27 Jan. 2009 |
ARG Lunch |
A HOL implementation of Smallfoot
(foils, printer version)
|
| 2008 |
|---|
| 2 Sep. 2008 |
Research & review meeting |
A fully-expansive HOL implementation of
Smallfoot
(foils, printer version)
|
| 19 Feb. 2008 |
ARG Lunch |
An Embedding of Abstract Separation Logic in HOL
(foils, printer version)
|
| 2007 |
|---|
| 26 Jun. 2007 |
ARG Lunch |
A Deep Embedding of a
Decidable Fragment of Separation Logic in HOL
(foils, detailed documentation)
|
| 2006 |
|---|
| 7 Nov. 2006 |
ARG Lunch |
A verifying ARM compiler
(foils, printer version)
|
| 23 Oct. 2006 |
Haifa Verification Conference |
Model Checking PSL using HOL and SMV
(foils, printer version)
|
| 21 Jun. 2006 |
ARG Lunch |
Deep Embeddings of Temporal Logics in HOL
(foils, printer version)
|
| 1 Feb. 2006 |
ARG Lunch |
PSL in HolCheck
(foils, printer version)
|
|