Tag: event-b

Jean-Raymond Abrial’s B method and later Event-B made refinement, proof obligations and set-theoretic modeling central to a disciplined path from abstract system models toward increasingly concrete designs.