Yuhui Lin
TitleCited byYear
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
International Conference on Logic for Programming Artificial Intelligence …, 2013
212013
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014), 2014
102014
Developing and debugging proof strategies by tinkering
Y Lin, P Le Bras, G Grov
International Conference on Tools and Algorithms for the Construction and …, 2016
62016
The use of rippling to automate Event-B invariant preservation proofs
Y Lin, A Bundy, G Grov
NASA Formal Methods Symposium, 231-236, 2012
52012
The Tinker tool for graphical tactic development
G Grov, Y Lin
International Journal on Software Tools for Technology Transfer 20 (2), 139-155, 2018
42018
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Y Lin, G Grov, R Arthan
Journal of Formalized Reasoning 9 (2), 69-130., 2016
42016
Mechanised Verification Patterns for Dafny
G Grov, Y Lin, V Tumas
International Symposium on Formal Methods, 326-343, 2016
32016
‘The Tinker’ for Rodin
Y Liang, Y Lin, G Grov
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
32016
A Super Industrial Application of PSGraph
Y Lin, G Grov, C O’Halloran, G Priiya
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
32016
Formal analysis of Sneak-Peek: a data centre attack and its mitigations
W Chen, Y Lin, V Galpin, V Nigam, M Lee, D Aspinall
IFIP International Conference on ICT Systems Security and Privacy Protection …, 2018
22018
Productive use of failure in top-down formal methods
A Bundy, G Grov, Y Lin
Automated Reasoning Workshop, 13, 2011
22011
The Tinker GUI for graphical proof strategies (tool demo)
G Grov, Y Lin, P Le Bras
Proceedings of the Third Workshop on Formal Integrated Development …, 2017
12017
Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)
G Grov, Y Lin, L McGregor, V Tumas, D Cameron
Third Workshop on Formal Integrated Development Environment, 2017
12017
Verification, optimization, performance analysis and synthesis of cyber-physical systems
KG Larsen, G Grov, Y Lin, P Le Bras
Electronic Proceedings in Theoretical Computer Science, 2017
12017
Automating Event-B invariant proofs by rippling and proof patching
Y Lin, A Bundy, G Grov, E Maclean
Formal Aspects of Computing 31 (1), 95-129, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–15