Event-B: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m New page: '''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 syst... |
(No difference)
|
Latest revision as of 09:57, 4 March 2009
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.
