Gudmund Grov
Cited by
Cited by
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
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011
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
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
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
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
Refinement plans for informed formal design
G Grov, A Ireland, MT Llano
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
Synthesising Functional Invariants in Separation Logic
E Maclean, A Ireland, G Grov
WING 2010. Workshop on Invariant Generation 2010, 183-184, 2012
Cbam: A contextual model for network anomaly detection
H Clausen, G Grov, D Aspinall
Computers 10 (6), 79, 2021
Hume box calculus: robust system development through software transformation
G Grov, G Michaelson
Higher-Order and Symbolic Computation 23, 191-226, 2010
Learning from Experts to Aid the Automation of Proof Search.
A Bundy, G Grov, CB Jones
Proceedings of the Ninth International Workshop on Automated Verification of …, 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: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
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 09381: Refinement Based Methods for the …, 2009
Typed meta-interpretive learning for proof strategies
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015), 1-16, 2016
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
arXiv preprint arXiv:1410.8217, 2014
Tactics for the Dafny program verifier
G Grov, V Tumas
International Conference on Tools and Algorithms for the Construction and …, 2016
Proof automation for functional correctness in separation logic
E Maclean, A Ireland, G Grov
Journal of Logic and Computation 26 (2), 641-675, 2016
An essence of ssreflect
I Whiteside, D Aspinall, G Grov
Intelligent Computer Mathematics: 11th International Conference, AISC 2012 …, 2012
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
The system can't perform the operation now. Try again later.
Articles 1–20