A Roadmap for the Rodin Toolset

Abstract

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{AbrialBHV08,
  author       = {Jean{-}Raymond Abrial and
                  Michael J. Butler and
                  Stefan Hallerstede and
                  Laurent Voisin},
  editor       = {Egon B{\"{o}}rger and
                  Michael J. Butler and
                  Jonathan P. Bowen and
                  Paul Boca},
  title        = {A Roadmap for the Rodin Toolset},
  booktitle    = {Abstract State Machines, {B} and Z, First International Conference,
                  {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5238},
  pages        = {347},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87603-8\_35},
  doi          = {10.1007/978-3-540-87603-8\_35},
  timestamp    = {Sun, 02 Jun 2019 21:24:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/AbrialBHV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}