@article{deploy46,
           title = {La validation de mod{\`e}les Event-B avec le  plug-in ProB pour RODIN},
          author = {Jens Bendisposto and Michael Leuschel and Olivier Ligot and Mireille Samia},
            year = {2008},
           pages = {1065--1084},
         journal = {TSI},
             url = {http://deploy-eprints.ecs.soton.ac.uk/46/},
        abstract = {The B-method, as well as its offspring Event-B, are both formal methods used for the development of critical computer systems whose correctness has to be formally established.
Event-B now spurs the Rodin platform, which is based on Eclipse and can be extended via plug-ins. In this paper, we present two such plug-ins; one for animation and one for interactive proof support, called a disprover.  Both plug-ins are based on the ProB tool as well as a translation of Event-B to classical B.
 With our new plug-ins, Rodin has now  become a platform where a user can animate, prove and disprove formal models in an integrated fashion.
}
}

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