My main research interest is ResearchSoftware Engineering
and Formal Methods
. Currently I am investigating linking constructive (top-down) and analytical (bottom-up) approaches to software verification. Specifically, I am building a link between Event-B (constructive) and Dafny (analytical).
- M Dalvandi, M Butler, A Rezazadeh, Derivation of algorithmic control structures in Event-B refinement, Journal of Science of Computer Programming (Accepted/In press), 2017
- M Dalvandi, M Butler, A Rezazadeh, Transforming Event-B models to Dafny contracts, 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), 2015
- M Dalvandi, M Butler, A Rezazadeh, From Event-B models to Dafny code contracts, 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015), 2015
- M Dalvandi, M Butler, Towards Verified Implementation of Event-B Models in Dafny, 5th Rodin User and Developer Workshop, 2014