bookMay 1, 2010Closed access

Modeling in Event-B: System and Software Engineering

JAJean-Raymond Abrial

Board of the Swiss Federal Institutes of Technology · ETH Zurich

Abstract

A practical introduction to this model-based formal method, containing a broad range of illustrative examples.

Citation impact

1,129
total citations
FWCI
65.81
Percentile
100%
References
13
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Computer science
  • Event (particle physics)
  • Mathematical proof
  • B-Method
  • Construct (python library)
  • Software engineering
  • Set (abstract data type)
  • Programming language
No related works found for this paper.