52 citations · 79 across the 16 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2017
DAReing to reduce the annotation overheads of verified programs
Gudmund Grov, Duncan Cameron, Leon McGregor
Modern program verifiers use the same uniform program text to both specify and implement programs. The program text is also used to provide the necessary guidance to ensure that th…
cs.SE2016
Semi-Automated Design Space Exploration for Formal Modelling
Gudmund Grov, Andrew Ireland, Maria Teresa Llano +3
Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meani…
cs.SE2014★ 1 cited
Some Ideas for Program Verifier Tactics
Gudmund Grov
A program verifier is a tool that can be used to verify that a "contract" for a program holds - i.e. given a precondition the program guarantees that a given postcondition holds -…