Edinburgh Research Explorer

Dr Yuhui Lin

(Former employee or visitor)

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

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

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

  4. Productive Use of Failure in Top-down Formal Methods

    Bundy, A., Grov, G. & Lin, Y., 2011, In Proceedings of 18th Automated Reasoning Workshop. p. 13-14 2 p.

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

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

Previous 1 2 Next