Gudmund Grov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC	2019-09-18	Paper
Automating Event-B invariant proofs by rippling and proof patching Formal Aspects of Computing	2019-03-13	Paper
Automating change of representation for proofs in discrete mathematics (extended version) Mathematics in Computer Science	2017-07-25	Paper
Proof automation for functional correctness in separation logic Journal Of Logic And Computation	2016-07-07	Paper
Reasoning about resources in the embedded systems language Hume Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
Automating Change of Representation for Proofs in Discrete Mathematics Lecture Notes in Computer Science	2015-11-20	Paper
A graphical language for proof strategies Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
An Essence of SSReflect Lecture Notes in Computer Science	2012-09-07	Paper
Hume box calculus: Robust system development through software transformation Higher-Order and Symbolic Computation	2012-01-13	Paper
Towards Formal Proof Script Refactoring Lecture Notes in Computer Science	2011-07-29	Paper

Research outcomes over time

This page was built for person: Gudmund Grov