Edinburgh Research Explorer

Dr Yuhui Lin

(Former employee or visitor)

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

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

  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. The Use of Rippling to Automate Event-B Invariant Preservation Proofs

    Lin, Y., Bundy, A. & Grov, G., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. & Person, S. (eds.). Springer-Verlag GmbH, p. 231-236 6 p. (Lecture Notes in Computer Science; vol. 7226).

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

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

Previous 1 2 Next