Tutorial on the event-based B method - CEL - Cours en ligne Access content directly
Lectures Year : 2006

Tutorial on the event-based B method


B is a method for specifying, designing and coding software systems. It is based on Zermelo-Fraenkel set theory with the axiom of choice, the concept of generalized substitution and on structuring mechanisms (machine,refinement, implementation). The concept of refinement is the key notion for developing B models of (software) systems in an incremental way. B models are accompanied by mathematical proofs that justify them. Proofs of B models convince the user (designer or specifier) that the (software) system is effectively correct. We provide a survey of the underlying logic of the B method and the semantic concepts related to the B method; we detail the B development process partially supported by the mechanical engine of the prover.
Fichier principal
Vignette du fichier
tutorialforte2006mery.pdf (562.04 Ko) Télécharger le fichier

Dates and versions

inria-00092846 , version 1 (13-09-2006)


  • HAL Id : inria-00092846 , version 1


Dominique Cansell, Dominique Méry. Tutorial on the event-based B method. IFIP FORTE 2006 Paris, 2006. ⟨inria-00092846⟩
605 View
7281 Download


Gmail Facebook X LinkedIn More