Edinburgh Research Explorer

The Use of Rippling to Automate Event-B Invariant Preservation Proofs

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

Standard

The Use of Rippling to Automate Event-B Invariant Preservation Proofs. / Lin, Yuhui; Bundy, Alan; Grov, Gudmund.

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. ed. / Alwyn Goodloe; Suzette Person. Springer-Verlag GmbH, 2012. p. 231-236 (Lecture Notes in Computer Science; Vol. 7226).

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

Harvard

Lin, Y, Bundy, A & Grov, G 2012, The Use of Rippling to Automate Event-B Invariant Preservation Proofs. in A Goodloe & S Person (eds), NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7226, Springer-Verlag GmbH, pp. 231-236. https://doi.org/10.1007/978-3-642-28891-3_23

APA

Lin, Y., Bundy, A., & Grov, G. (2012). The Use of Rippling to Automate Event-B Invariant Preservation Proofs. In A. Goodloe, & S. Person (Eds.), NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings (pp. 231-236). (Lecture Notes in Computer Science; Vol. 7226). Springer-Verlag GmbH. https://doi.org/10.1007/978-3-642-28891-3_23

Vancouver

Lin Y, Bundy A, Grov G. The Use of Rippling to Automate Event-B Invariant Preservation Proofs. In Goodloe A, Person S, editors, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer-Verlag GmbH. 2012. p. 231-236. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-28891-3_23

Author

Lin, Yuhui ; Bundy, Alan ; Grov, Gudmund. / The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. editor / Alwyn Goodloe ; Suzette Person. Springer-Verlag GmbH, 2012. pp. 231-236 (Lecture Notes in Computer Science).