Edinburgh Research Explorer

Dr Yuhui Lin

(Former employee or visitor)

  1. 2016
  2. The Tinker GUI for Graphical Proof Strategies (tool demo)

    Grov, G., Lin, Y. & Bras, P. L., 8 Nov 2016, Proceedings of the Third Workshop on Formal Integrated Development Environment . Open Publishing Association, p. 98-101 3 p. (Electronic Proceedings in Theoretical Computer Science; vol. 240).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC

    Lin, Y., Grov, G. & Arthan, R., 15 Dec 2016, In : Journal of Formalized Reasoning. 9, 2, p. 69-130 62 p.

    Research output: Contribution to journalArticle

  4. 2017
  5. The Tinker tool for graphical tactic development

    Grov, G. & Lin, Y., 17 Mar 2017, In : International Journal on Software Tools for Technology Transfer. p. 1-17 17 p.

    Research output: Contribution to journalArticle

  6. 2018
  7. Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations

    Chen, W., Lin, Y., Galpin, V., Nigam, V., Lee, M. & Aspinall, D., 2018, 33rd International Conference on Information Security and Privacy Protection (IFIP SEC 2018). Poznan, Poland: Springer, Cham, p. 307-322 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. 2019
  9. Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In : Formal Aspects of Computing. p. 1-35 35 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next