Tutorial on the event-based B method - CEL - Cours en ligne Accéder directement au contenu
Cours Année : 2006

Tutorial on the event-based B method

Résumé

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
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00092846 , version 1

Citer

Dominique Cansell, Dominique Méry. Tutorial on the event-based B method. IFIP FORTE 2006 Paris, 2006. ⟨inria-00092846⟩
606 Consultations
7344 Téléchargements

Partager

Gmail Facebook X LinkedIn More