@inproceedings{deploy360,
       booktitle = {22nd IEEE International Symposium on Software Reliability Engineering},
           title = {Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper)},
          author = {Alexei Iliasov and Alexander Romanovsky},
            year = {2011},
             url = {http://deploy-eprints.ecs.soton.ac.uk/360/},
        abstract = {In this talk we report on scaling methodological and tool support of a formal method to size of problems relevant to industrial users. The report is based on the experience of the ICT Deploy project - a research project where a number
of academic and industrial partners work together on advancing the agenda of formal modelling in the industrial setting. We present a summary of developments conducted by industrial users, the problems they have faced compiling
requirements, building models, doing formal proofs and their views on the return form the investment in formal modelling training. In particular, we will focus on the transitions from initial, small-scale, feasibility studies to larger, realistic, developments and the challenges thus uncovered.}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>