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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gudmund Grov