Edinburgh Research Explorer

Dr Yuhui Lin

(Former employee or visitor)

  1. 2017
  2. 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

  3. 2016
  4. 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. Dec 2016 In : Journal of Formalized Reasoning. 9, 2, p. 69-130 62 p.

    Research output: Contribution to journalArticle

  5. Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)

    Grov, G., Lin, Y., McGregor , L., Tumas, V. & Cameron, D. 8 Nov 2016 Proceedings of the Third Workshop on Formal Integrated Development Environment . Open Publishing Association, (Electronic Proceedings in Theoretical Computer Science; vol. 240)

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

  6. Mechanised Verification Patterns for Dafny

    Grov, G., Lin, Y. & Tumas, V. 8 Nov 2016 FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham, p. 326-343 18 p. (Lecture Notes in Computer Science ; vol. 9995)

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

  7. 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

  8. 'The Tinker' for Rodin

    Liang, Y., Lin, Y. & Grov, G. 11 May 2016 Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 262-268 7 p. (Lecture Notes in Computer Science; vol. 9675)

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

  9. A Super Industrial Application of PSGraph

    Lin, Y., Grov, G., O'Halloran, C. & G., P. 11 May 2016 Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 319-325 7 p. (Lecture Notes in Computer Science; vol. 9675)

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

  10. Developing and Debugging Proof Strategies by Tinkering

    Lin, Y., Bras, P. L. & Grov, G. 9 Apr 2016 Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer Berlin Heidelberg, p. 573-579 7 p. (Lecture Notes in Computer Science; vol. 9636)

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

  11. 2015
  12. Tinker: A Graph Based Proof Strategy System

    Bras, P. L., Lin, Y. & Grov, G. 2015 In AI4FM 2015 (extended abstract). 3 p.

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

  13. 2014
  14. Tinker, Tailor, Solver, Proof

    Grov, G., Kissinger, A. & Lin, Y. 2014 In Proceedings of Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014). Open Publishing Association, p. 23-34 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 167)

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

Previous 1 2 Next