Edinburgh Research Explorer

Dr Gudmund Grov

(Former employee or visitor)

  1. 2016
  2. Automating change of representation for proofs in discrete mathematics (extended version)

    Raggi, D., Bundy, A., Grov, G. & Pease, A. Oct 2016 In : Mathematics in Computer Science. 10, 4, p. 429–457 29 p.

    Research output: Contribution to journalArticle

  3. 2015
  4. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 2015 Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer International Publishing, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9150)

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

  5. 2014
  6. Proof automation for functional correctness in separation logic

    Maclean, E., Ireland, A. & Grov, G. May 2014 In : Journal of Logic and Computation. 35 p.

    Research output: Contribution to journalArticle

  7. 2013
  8. Reasoned modelling critics: Turning failed proofs into modelling guidance

    Ireland, A., Grov, G., Llano, M. T. & Butler, M. 2013 In : Science of Computer Programming. 78, 3, p. 293-309 17 p.

    Research output: Contribution to journalArticle

  9. 2012
  10. An essence of SSReflect

    Whiteside, I., Aspinall, D. & Grov, G. 1 Jan 2012 Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer-Verlag GmbH, p. 186-201 16 p. (Lecture Notes in Computer Science; vol. 7362)

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

  11. Synthesising Functional Invariants in Separation Logic

    Maclean, E., Ireland, A. & Grov, G. 2012 WING 2010. Workshop on Invariant Generation 2010. Voronkov, A., Kovacs, L. & Bjorner, N. (eds.). EasyChair, p. 183-184 2 p. (EPiC Series in Computing; vol. 1)

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

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

  13. 2011
  14. The CORE system: Animation and functional correctness of pointer programs

    Maclean, E., Ireland, A. & Grov, G. 1 Nov 2011 Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. IEEE, p. 588-591 4 p.

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

  15. Towards Formal Proof Script Refactoring

    Whiteside, I., Aspinall, D., Dixon, L. & Grov, G. 2011 Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Davenport, J., Farmer, W., Urban, J. & Rabe, F. (eds.). Springer Berlin Heidelberg, p. 260-275 16 p. (Lecture Notes in Computer Science; vol. 6824)

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

  16. 2010
  17. Ideas for a high-level proof strategy language

    Jones, C. B., Grov, G. & Bundy, A. Jul 2010 5th Automated Formal Methods workshop (AFM’10).

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

Previous 1 2 Next