52 citations · 79 across the 16 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Yuhui Lin, Gudmund Grov, Rob Arthan
The use of a functional language to implement proof strategies as proof tactics in interactive theorem provers, often provides short, concise and elegant implementations. Whilst be…
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…