Gudmund Grov

Available identifiers

zbMath Open grov.gudmundMaRDI QIDQ656857

List of research outcomes

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	2019-03-13	Paper
Automating change of representation for proofs in discrete mathematics (extended version)	2017-07-25	Paper
Proof automation for functional correctness in separation logic	2016-07-07	Paper
Reasoning About Resources in the Embedded Systems Language Hume	2016-01-07	Paper
Automating Change of Representation for Proofs in Discrete Mathematics	2015-11-20	Paper
A Graphical Language for Proof Strategies	2014-01-17	Paper
An Essence of SSReflect	2012-09-07	Paper
Hume box calculus: Robust system development through software transformation	2012-01-13	Paper
Towards Formal Proof Script Refactoring	2011-07-29	Paper

Research outcomes over time

This page was built for person: Gudmund Grov