Gudmund Grov
TitleCited byYear
Machine learning in proof general: Interfacing interfaces
E Komendantskaya, J Heras, G Grov
arXiv preprint arXiv:1212.3618, 2012
382012
Towards formal proof script refactoring
I Whiteside, D Aspinall, L Dixon, G Grov
International Conference on Intelligent Computer Mathematics, 260-275, 2011
292011
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
International Conference on Logic for Programming Artificial Intelligence …, 2013
202013
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
202010
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
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
A rigorous approach to combining use case modelling and accident scenarios
R Murali, A Ireland, G Grov
NASA Formal Methods Symposium, 263-278, 2015
102015
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
arXiv preprint arXiv:1410.8217, 2014
102014
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
102009
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
92011
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
Synthesising Functional Invariants in Separation Logic.
E Maclean, A Ireland, G Grov
WING@ ETAPS/IJCAR, 183-184, 2010
92010
Tactics for the dafny program verifier
G Grov, V Tumas
International Conference on Tools and Algorithms for the Construction and …, 2016
82016
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
Learning the" write" way in science and engineering
T Larkin-Hein, DD Budny
31st Annual Frontiers in Education Conference. Impact on Engineering and …, 2001
8*2001
UC-B: Use case modelling with Event-B
R Murali, A Ireland, G Grov
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
72016
The system can't perform the operation now. Try again later.
Articles 1–20