An Open Extensible Tool Environment for Event-B

  title={An Open Extensible Tool Environment for Event-B},
  author={Jean-Raymond Abrial and Michael J. Butler and Stefan Hallerstede and Laurent Voisin},
We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 203 citations. REVIEW CITATIONS

5 Figures & Tables



Citations per Year

204 Citations

Semantic Scholar estimates that this publication has 204 citations based on the available data.

See our FAQ for additional information.