Gudmund Grov
Title
Cited by
Cited by
Year
Machine learning in proof general: Interfacing interfaces
E Komendantskaya, J Heras, G Grov
arXiv preprint arXiv:1212.3618, 2012
462012
Towards formal proof script refactoring
I Whiteside, D Aspinall, L Dixon, G Grov
International Conference on Intelligent Computer Mathematics, 260-275, 2011
312011
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
International Conference on Logic for Programming Artificial Intelligence …, 2013
222013
Reasoned modelling critics: turning failed proofs into modelling guidance
A Ireland, G Grov, M Butler
International Conference on Abstract State Machines, Alloy, B and Z, 189-202, 2010
192010
Low-level programming in Hume: an exploration of the HW-Hume level
K Hammond, G Grov, G Michaelson, A Ireland
Symposium on Implementation and Application of Functional Languages, 91-107, 2006
182006
Hume box calculus: robust system development through software transformation
G Grov, G Michaelson
Higher-Order and Symbolic Computation 23 (2), 191-226, 2010
142010
Learning from experts to aid the automation of proof search
A Bundy, G Grov, CB Jones
AVoCS 9, 229-232, 2009
132009
Formal verification of concurrent scheduling strategies using TLA
G Grov, G Michaelson, A Ireland
2007 International Conference on Parallel and Distributed Systems, 1-6, 2007
132007
Towards a Box Calculus for Hierarchical Hume.
G Grov, G Michaelson
Trends in Functional Programming 8, 71-88, 2007
132007
An outline of a proposed system that learns from experts how to discharge proof obligations automatically
A Bundy, G Grov, CB Jones
Proceedings of Dagstuhl Seminar 9381, 2009
122009
A rigorous approach to combining use case modelling and accident scenarios
R Murali, A Ireland, G Grov
NASA Formal Methods Symposium, 263-278, 2015
112015
Refinement plans for informed formal design
G Grov, A Ireland, MT Llano
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
112012
Learning the" write" way in science and engineering
T Larkin-Hein, DD Budny
31st Annual Frontiers in Education Conference. Impact on Engineering and …, 2001
11*2001
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
arXiv preprint arXiv:1410.8217, 2014
102014
The CORE system: Animation and functional correctness of pointer programs
E Maclean, A Ireland, G Grov
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
102011
Synthesising Functional Invariants in Separation Logic.
E Maclean, A Ireland, G Grov
WING@ ETAPS/IJCAR, 183-184, 2010
102010
Tactics for the Dafny program verifier
G Grov, V Tumas
International Conference on Tools and Algorithms for the Construction and …, 2016
92016
Applying Lakatos-style reasoning to AI problems
A Pease, A Smaill, S Colton, A Ireland, M Llano, R Ramezani, G Grov, ...
Thinking Machines and the philosophy of computer science: Concepts and …, 2010
9*2010
Typed meta-interpretive learning for proof strategies.
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
82015
Reasoned modelling critics: Turning failed proofs into modelling guidance
A Ireland, G Grov, MT Llano, M Butler
Science of Computer Programming 78 (3), 293-309, 2013
82013
The system can't perform the operation now. Try again later.
Articles 1–20