9 citations · 12 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023★ 2 cited
Anticipating Accidents through Reasoned Simulation
Craig Innes, Andrew Ireland, Yuhui Lin +1
A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an acci…
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.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…