Gudmund Grov
Gudmund Grov
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
Machine learning in proof general: Interfacing interfaces
E Komendantskaya, J Heras, G Grov
arXiv preprint arXiv:1212.3618, 2012
Towards formal proof script refactoring
I Whiteside, D Aspinall, L Dixon, G Grov
International Conference on Intelligent Computer Mathematics, 260-275, 2011
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
International Conference on Logic for Programming Artificial Intelligence …, 2013
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
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
Hume box calculus: robust system development through software transformation
G Grov, G Michaelson
Higher-Order and Symbolic Computation 23 (2), 191-226, 2010
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
Learning from experts to aid the automation of proof search
A Bundy, G Grov, CB Jones
AVoCS 9, 229-232, 2009
Towards a Box Calculus for Hierarchical Hume.
G Grov, G Michaelson
Trends in Functional Programming 8, 71-88, 2007
A rigorous approach to combining use case modelling and accident scenarios
R Murali, A Ireland, G Grov
NASA Formal Methods Symposium, 263-278, 2015
Refinement plans for informed formal design
G Grov, A Ireland, MT Llano
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
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
Synthesising Functional Invariants in Separation Logic.
E Maclean, A Ireland, G Grov
WING@ ETAPS/IJCAR, 183-184, 2010
Tactics for the Dafny program verifier
G Grov, V Tumas
International Conference on Tools and Algorithms for the Construction and …, 2016
Typed meta-interpretive learning for proof strategies.
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
arXiv preprint arXiv:1410.8217, 2014
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
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
Automating change of representation for proofs in discrete mathematics (extended version)
D Raggi, A Bundy, G Grov, A Pease
Mathematics in Computer Science 10 (4), 429-457, 2016
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20