 | 2012 |
|---|
| 10 |       | Yuhui Lin,
Alan Bundy,
Gudmund Grov:
The Use of Rippling to Automate Event-B Invariant Preservation Proofs.
NASA Formal Methods 2012: 231-236 |
| 2011 |
|---|
| 9 | | Ewen Maclean,
Andrew Ireland,
Gudmund Grov:
The CORE system: Animation and functional correctness of pointer programs.
ASE 2011: 588-591 |
| 8 | | Iain Whiteside,
David Aspinall,
Lucas Dixon,
Gudmund Grov:
Towards Formal Proof Script Refactoring.
Calculemus/MKM 2011: 260-275 |
| 7 | | Gudmund Grov,
Stephan Merz:
A Definitional Encoding of TLA* in Isabelle/HOL.
Archive of Formal Proofs 2011: (2011) |
| 2010 |
|---|
| 6 | | Andrew Ireland,
Gudmund Grov,
Michael Butler:
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.
ASM 2010: 189-202 |
| 5 | | Gudmund Grov,
Greg Michaelson:
Hume box calculus: robust system development through software transformation.
Higher-Order and Symbolic Computation 23(2): 191-226 (2010) |
| 2008 |
|---|
| 4 | | Gudmund Grov,
Robert F. Pointon,
Greg Michaelson,
Andrew Ireland:
Preserving coordination properties when transforming concurrent system components.
SAC 2008: 126-127 |
| 2007 |
|---|
| 3 | | Gudmund Grov,
Greg Michaelson,
Andrew Ireland:
Formal verification of concurrent scheduling strategies using TLA.
ICPADS 2007: 1-6 |
| 2006 |
|---|
| 2 | | Kevin Hammond,
Gudmund Grov,
Greg Michaelson,
Andrew Ireland:
Low-Level Programming in Hume: An Exploration of the HW-Hume Level.
IFL 2006: 91-107 |
| 2005 |
|---|
| 1 | | Gudmund Grov:
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning.
ASE 2005: 444-447 |
Data released under the ODC-BY 1.0 license — See also our legal information page