Edinburgh Research Explorer

Dr Yuhui Lin

(Former employee or visitor)

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

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

  5. 2013
  6. A Graphical Language for Proof Strategies

    Grov, G., Kissinger, A. & Lin, Y., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 324-339 16 p. (Lecture Notes in Computer Science ; vol. 8312)

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

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

  9. 2011
  10. 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

Previous 1 2 Next