The University of Southampton

Publications

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) From Event-B models to Dafny code contracts. 6th IPM International Conference on Fundamentals of Software Engineering, Iran, Islamic Republic of. 22 - 24 Apr 2015.

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Transforming Event-B models to Dafny contracts. 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), United Kingdom. 01 - 04 Sep 2015.

Dalvandi, Mohammad Sadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Derivation of algorithmic control structures in Event-B refinement. Science of Computer Programming, 148, 49-65. (doi:10.1016/j.scico.2017.05.010).

Dalvandi, Mohammad Sadegh, Butler, Michael, Rezazadeh, Abdolbaghi and Salehi Fathabadi, Asieh (2018) Verifiable code generation from scheduled event-B models. In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. 15 pp, pp. 1-15. (doi:10.1007/978-3-319-91271-4_16).

Dalvandi, Mohammad Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) Using formal methods for automatic platform-independent code generation of run-time management. University Booth at DATE 2018, Dresden, Germany. 19 - 22 Mar 2018.

Dalvandi, Mohammad Sadegh and Butler, Michael (2014) Towards verified implementation of Event-B models in Dafny. 5th Rodin User and Developer Workshop, Toulouse, France. 02 - 03 Jun 2014.

Dalvandi, Mohammad Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) A report on PRiME code generation activities. 7th Rodin Workshop, Southampton, United Kingdom. 05 Jun 2018.

Dalvandi, Mohammad Sadegh (2018) Developing verified sequential programs with Event-B. Electronics & Computer Science, Doctoral Thesis, 167pp.

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×