52 citations · 79 across the 16 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 9 cited
Tinker, tailor, solver, proof
Gudmund Grov, Aleks Kissinger, Yuhui Lin
We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism previously introduced by the authors. We represent proof strat…
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 -…