Difference between revisions of "Event-B"
From Event-B
Jump to navigationJump to searchimported>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.